GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Syllogismus</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Syllogismus</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p>Die <b>Syllogismen</b> (von <span style="font-style:normal;font-weight:normal"><a href="Altgriechische_Sprache" title="Altgriechische Sprache">altgriechisch</a></span> <span lang="grc-Grek" class="Grek" style="font-style:normal">συλλογισμός</span> <style data-mw-deduplicate="TemplateStyles:r261937631">

/* start https://de.wikipedia.org/ */

.mw-parser-output .Latn{font-family:"Akzidenz Grotesk","Arial","Avant Garde Gothic","Calibri","Futura","Geneva","Gill Sans","Helvetica","Lucida Grande","Lucida Sans Unicode","Lucida Grande","Stone Sans","Tahoma","Trebuchet","Univers","Verdana"}

/* end https://de.wikipedia.org/ */

</style><span class="Latn" lang="grc-Latn" style="font-weight:normal;font-style:italic">syllogismós</span> „[das] Zusammenrechnen, logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse. Sie bilden den Kern der im vierten Jahrhundert vor unserer Zeitrechnung entstandenen antiken <a href="Logik" title="Logik">Logik</a> des <a href="Aristoteles" title="Aristoteles">Aristoteles</a> und der traditionellen Logik bis ins 19. Jahrhundert. Als Haupttechnik der Logik abgelöst wurde der syllogistische Ansatz erst durch die Integration der Logik in die Mathematik, im Gefolge der Arbeiten von <a href="George_Boole" title="George Boole">George Boole</a> und <a href="Gottlob_Frege" title="Gottlob Frege">Gottlob Frege</a> im 19. und frühen 20. Jahrhundert.

</p>

<p>Als <b>Syllogistik</b> wird allgemein die Lehre von den Syllogismen bezeichnet. Die klassische Logik untersuchte insbesondere, unter welchen Voraussetzungen Syllogismen <a href="Schlussfolgerung#Korrektheit_einer_Schlussfolgerung" title="Schlussfolgerung">gültig</a> sind. Syllogismen sind immer nach dem gleichen Muster aufgebaut. Jeweils zwei <a href="Pr%C3%A4misse" title="Prämisse">Prämissen</a> (Voraussetzungen), <b>Obersatz</b> und <b>Untersatz</b> genannt, führen zu einer <b>Konklusion</b> (<a href="Schlussfolgerung" title="Schlussfolgerung">Schlussfolgerung</a>). Die Prämissen und die Konklusion sind <a href="Aussage_(Logik)" title="Aussage (Logik)">Aussagen</a> von einem bestimmten Typ, in denen jeweils einem Begriff, dem <i>syllogistischen Subjekt,</i> ein anderer Begriff, das <i>syllogistische Prädikat,</i> in bestimmter Weise zu- oder abgesprochen wird (diese Begriffe sind nicht unbedingt deckungsgleich mit <a href="Subjekt_(Grammatik)" title="Subjekt (Grammatik)">Subjekt</a> und <a href="Pr%C3%A4dikat_(Grammatik)" title="Prädikat (Grammatik)">Prädikat in der Grammatik</a>). In Abhängigkeit von der Stelle, an der sie im Syllogismus auftreten, werden die vorkommenden Begriffe <i>Oberbegriff, Mittelbegriff</i> und <i>Unterbegriff</i> genannt.

</p>

<div class="mw-heading mw-heading2"><h2 id="Geschichte">Geschichte</h2></div>

<p>Der lateinische Begriff <i>syllogismus</i> geht auf das griechische <i>syllogismós</i> (<span lang="grc-Grek" class="Grek">συλλογισμός</span>) zurück. Mit <i>syllogismós</i> bezeichnet Aristoteles ein <a href="Typen_von_Argumenten#Deduktive_Argumente" title="Typen von Argumenten">deduktives Argument</a>, das er als Erster folgendermaßen definiert:

</p>

<p>„Eine Deduktion (<i>syllogismós</i>) ist also ein Argument, in welchem sich, wenn etwas gesetzt wurde, etwas anderes als das Gesetzte mit Notwendigkeit durch das Gesetzte ergibt.“

</p>

</blockquote>

</div><div class="cite" style="margin:-1em 0 1em 1em;">– <style data-mw-deduplicate="TemplateStyles:r261921330">

/* start https://de.wikipedia.org/ */

.mw-parser-output .Person{font-variant:small-caps}

/* end https://de.wikipedia.org/ */

</style><span class="Person h-card">Aristoteles</span>: <cite style="font-style:normal">Topik I 1, 100a25-27<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup></cite></div></div>

<p>In diesem weiteren Sinn, also als Synonym für das Wort „Argument“, wurde das Wort „Syllogismus“ alltagssprachlich bis ins 20. Jahrhundert hinein verwendet. So unterscheidet noch <i><a href="Meyers_Konversations-Lexikon" title="Meyers Konversations-Lexikon">Meyers Großes Konversations-Lexikon</a></i> von 1905 bis 1909 zwischen dem Syllogismus im weiteren Sinn („in der Logik im allgemeinen der Schluß überhaupt“)<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> vom Syllogismus im engeren Sinn (dem „kategorischen S[chluss], dem Syllogismus des Aristoteles“)<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup>. Im modernen Sprachgebrauch ist diese weite Verwendung nicht mehr üblich und nur mehr in Ausdrücken wie <a href="Hypothetischer_Syllogismus" title="Hypothetischer Syllogismus">hypothetischer Syllogismus</a> (ein Sammelbegriff für bestimmte in der Tradition betrachtete aussagenlogische Schlussweisen) anzutreffen.

</p><p><i>Syllogismus</i> bezeichnet verwirrenderweise traditionell nun ausschließlich eine spezielle Form des deduktiven Arguments (<i>syllogismós</i>), nämlich die in Aristoteles’ <a href="Analytica_Priora" class="mw-redirect" title="Analytica Priora">Erster Analytik</a> behandelte Deduktion, die aus genau zwei Prämissen, einer Konklusion und drei Begriffen besteht. Da die Definition der Deduktion diese Einschränkung nicht aufweist, ist zwar jeder Syllogism<b>us</b> ein syllogism<b>ós</b>, aber nicht jeder syllogism<b>ós</b> ein Syllogism<b>us</b>.

</p><p>Nach der Position des Mittelbegriffs – das heißt desjenigen Begriffs, der nur in den Prämissen vorkommt – unterscheidet Aristoteles drei Arten von Schlüssen, <i>Figuren</i> genannt (siehe Abschnitt <a href="#Figuren">Figuren</a>). Die Einführung einer vierten Figur, deren Schlüsse auch Aristoteles schon als gültig anerkennt,<sup id="cite_ref-neb23-263_4-0" class="reference"><a href="#cite_note-neb23-263-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup> wird von <a href="Avicenna" title="Avicenna">Avicenna</a> und anderen <a href="Galenus" class="mw-redirect" title="Galenus">Galen</a> zugeschrieben, obwohl es für diese Zuschreibung keine direkten Hinweise im überlieferten Werk Galens gibt<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup> und dieser sie in der Tat sogar ausdrücklich ablehnt.<sup id="cite_ref-6" class="reference"><a href="#cite_note-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup> Bis zur Einführung der vierten Figur werden ihre Syllogismen in der Tradition des <a href="Theophrastos_von_Eresos" title="Theophrastos von Eresos">Theophrastos von Eresos</a> oft der ersten Figur zugerechnet.

</p><p>Im lateinischen Mittelalter, das die logischen Werke des Aristoteles zunächst aus Übersetzungen und Kommentaren des <a href="Bo%C3%ABthius" class="mw-redirect" title="Boëthius">Boëthius</a> aufnahm, wurden die traditionellen lateinischen Bezeichnungen für Quantität und Qualität der Urteile (siehe Abschnitt <a href="#Typen_von_Aussagen">Typen von Aussagen</a>) durch <a href="Petrus_Hispanus" title="Petrus Hispanus">Petrus Hispanus</a> gebräuchlich.<sup id="cite_ref-7" class="reference"><a href="#cite_note-7"><span class="cite-bracket">[</span>7<span class="cite-bracket">]</span></a></sup> In der <a href="Scholastik" title="Scholastik">Scholastik</a> erhielt die Syllogistik die Form, die dann jahrhundertelang in den Lehrbüchern tradiert wurde, wobei der authentische Gehalt der aristotelischen Syllogistik schon seit der Antike verloren gegangen war und sie seit der Renaissance zunehmend scharfer Kritik unterzogen wurde (berühmt ist etwa die Kritik von <a href="Ren%C3%A9_Descartes" title="René Descartes">René Descartes</a>). Erst <a href="Jan_%C5%81ukasiewicz" title="Jan Łukasiewicz">Jan Łukasiewicz</a> hat Aristoteles’ Logik in einer bahnbrechenden Arbeit<sup id="cite_ref-8" class="reference"><a href="#cite_note-8"><span class="cite-bracket">[</span>8<span class="cite-bracket">]</span></a></sup> neu entdeckt und sie vom Standpunkt der modernen Logik aus axiomatisch rekonstruiert; unter anderem wegen der hohen Zahl der dabei angesetzten Axiome wird jedoch bezweifelt, dass diese Rekonstruktion ausreichend gegenstandsadäquat ausgefallen ist.<sup id="cite_ref-9" class="reference"><a href="#cite_note-9"><span class="cite-bracket">[</span>9<span class="cite-bracket">]</span></a></sup> An Łukasiewicz schließt die neuere Forschung an, die ihr deutschsprachiges Standardwerk in <a href="G%C3%BCnther_Patzig" title="Günther Patzig">Günther Patzigs</a> Darstellung<sup id="cite_ref-10" class="reference"><a href="#cite_note-10"><span class="cite-bracket">[</span>10<span class="cite-bracket">]</span></a></sup> (1959) gefunden hat.

</p><p>Seither unterscheidet man zwischen der aristotelischen und der traditionellen Syllogistik. Der auffälligste äußere Unterschied besteht darin, dass Aristoteles Syllogismen nicht als eine Folge von drei Sätzen niederschreibt, sondern als <i>einen</i> Satz der Form „Wenn (Prämisse 1) und (Prämisse 2), so notwendig (Konklusion)“; es besteht Uneinigkeit darüber, ob sich diese Formulierung als metasprachliche Aussage über einen Syllogismus im traditionellen Verständnis erklären lasse<sup id="cite_ref-11" class="reference"><a href="#cite_note-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup> oder ob der Sicht Łukasiewicz’ zu folgen sei, dass Aristoteles einen Syllogismus als <i>eine</i> zusammengesetzte Aussage betrachte. Die beiden Lesarten lassen sich einfach ineinander überführen; der vorliegende Artikel gibt konkrete Syllogismen im Sinn der ersteren Lesart durchgängig als Folge von drei Sätzen wieder. Auch von diesem strittigen Punkt abgesehen gibt es zwischen der aristotelischen und der traditionellen Syllogistik zahlreiche Unterschiede in der logisch-semantischen Auffassung, so dass heute vielfach die Ansicht vertreten wird, Aristoteles stehe der modernen Logik im Grunde viel näher als der traditionellen Syllogistik. Bereits auf <a href="Augustus_De_Morgan" title="Augustus De Morgan">Augustus De Morgan</a> geht die unter anderem von Patzig ausgearbeitete Auffassung der aristotelischen Syllogistik als Theorie bestimmter zweistelliger Relationen zwischen Begriffen sowie des relativen Produktes solcher Relationen zurück.<sup id="cite_ref-12" class="reference"><a href="#cite_note-12"><span class="cite-bracket">[</span>12<span class="cite-bracket">]</span></a></sup> Ein Syllogismus ist dann ein Relationenprodukt, das selbst wieder eine Relation in jener bestimmten Form ist, die in den vier Satztypen A, E, I oder O ausgedrückt wird (zu A, E, I, O siehe <a href="#Typen_von_Aussagen">Typen von Aussagen</a>).

</p><p>Die unterschiedslose Gleichsetzung von aristotelischer und traditioneller Syllogistik in der älteren Geschichtsschreibung der Logik (<a href="Karl_von_Prantl" class="mw-redirect" title="Karl von Prantl">Carl Prantl</a>, <a href="Heinrich_Maier_(Philosoph)" title="Heinrich Maier (Philosoph)">Heinrich Maier</a>) hat hingegen zahlreiche Irrtümer – etwa über die angeblichen metaphysischen Voraussetzungen von Aristoteles’ Logik – hervorgebracht, von denen sich die Aristotelesinterpretation nur mit Mühe befreien konnte.

</p>

<div class="mw-heading mw-heading2"><h2 id="Allgemeine_Darstellung"><span id="Kategorischer_Syllogismus"></span>Allgemeine Darstellung</h2></div>

<p>Syllogistische Argumente sind immer nach dem gleichen Muster aufgebaut. Jeweils zwei <a href="Pr%C3%A4misse" title="Prämisse">Prämissen</a> (Voraussetzungen), genannt <i>Obersatz</i> (lateinisch <i>propositio major</i>) und <i>Untersatz</i> (lateinisch <i>propositio minor</i>), führen zu einer Konklusion (<a href="Schlussfolgerung" title="Schlussfolgerung">Schlussfolgerung</a>, lateinisch <i>conclusio</i>). Im hier dargestellten <b>kategorischen Syllogismus</b> (auch <b>assertorischer Syllogismus</b> genannt) sind Prämissen und Konklusion <a href="Kategorisches_Urteil" title="Kategorisches Urteil">kategorische Urteile</a>, d. h. Aussagen, in denen einem Begriff (griechisch ὅρος – <i>hóros</i>, lateinisch <i>terminus</i>), dem Subjekt, ein anderer Begriff, das Prädikat, in bestimmter Weise zu- oder abgesprochen wird. Zum Beispiel wird im kategorischen Urteil „Alle Menschen sind sterblich“ dem Subjekt „Mensch“ das Prädikat „sterblich“ zugesprochen. Zu beachten – und an diesem Beispiel ersichtlich – ist, dass die Wörter „Subjekt“ und „Prädikat“ im Zusammenhang der Syllogistik anders verwendet werden als in der traditionellen <a href="Grammatik" title="Grammatik">Grammatik</a>, wo das grammatikalische Subjekt der Ausdruck „alle Menschen“ und das grammatikalische Prädikat – je nach Sichtweise – das Wort „sind“<sup id="cite_ref-13" class="reference"><a href="#cite_note-13"><span class="cite-bracket">[</span>13<span class="cite-bracket">]</span></a></sup> oder der Ausdruck „sind sterblich“<sup id="cite_ref-14" class="reference"><a href="#cite_note-14"><span class="cite-bracket">[</span>14<span class="cite-bracket">]</span></a></sup> wäre.

</p><p>Innerhalb eines Syllogismus werden insgesamt drei verschiedene Begriffe verwendet:

</p>

<ol><li>der <i>Oberbegriff</i> (lateinisch <i>terminus major</i>), der im Obersatz und auf der rechten Seite der Konklusion, d. h. als deren Prädikat (P) vorkommt;</li>

<li>der <i>Unterbegriff</i> (lateinisch <i>terminus minor</i>), der im Untersatz und auf der linken Seite der Konklusion, d. h. als deren Subjekt (S) vorkommt; und</li>

<li>der <i>Mittelbegriff</i> (M) (lateinisch <i>terminus medius</i>), der im Obersatz und im Untersatz, nicht aber in der Konklusion vorkommt.</li></ol>

<p>In der Nachfolge von <a href="Johannes_Philoponus" class="mw-redirect" title="Johannes Philoponus">Johannes Philoponus</a> wird den Bezeichnungen „Oberbegriff“ und „Unterbegriff“ seit dem 17. Jahrhundert mehrheitlich keinerlei inhaltliche Bedeutung beigemessen und sie werden ausschließlich aus ihrem Auftreten im Obersatz beziehungsweise im Untersatz und als Prädikat beziehungsweise Subjekt der Konklusion erklärt.<sup id="cite_ref-15" class="reference"><a href="#cite_note-15"><span class="cite-bracket">[</span>15<span class="cite-bracket">]</span></a></sup> Gelegentlich werden Unter- und Oberbegriff auch als Subjekt bzw. Prädikat des Syllogismus bezeichnet.

</p><p>Ein Beispiel für einen gültigen Syllogismus ist Folgendes:

</p>

<p>Der Mittelbegriff dieses Syllogismus ist der Begriff „Rechteck“; im Obersatz dieses Syllogismus tritt der Mittelbegriff als Subjekt, in seinem Untersatz als Prädikat auf. Der Unterbegriff dieses Syllogismus ist der Begriff „Quadrat“; er tritt im Untersatz als Subjekt auf. Der Oberbegriff dieses Syllogismus ist schließlich der Begriff „Kreis“; er tritt im Obersatz als Prädikat auf.

</p><p>Alternativ zu Formulierungen wie „Kein S ist P“ oder „Alle S sind P“ werden auch gleichbedeutende Ausdrücke wie „P kommt keinem S zu“ und „P kommt allem S zu“ verwendet. In dieser Ausdrucksweise lautet der obige Syllogismus wie folgt:

</p>

<p>Die beiden Schreibweisen sind gleichbedeutend und gleichwertig. Während Aristoteles selber in seinen Analytiken überwiegend Varianten der zweiten Formulierung, „P kommt allem S zu“, wählt (meist „τὁ P κατηγορεῖται τοῦ S“ – „das P wird über das S ausgesagt“), wird seit der <a href="Scholastik" title="Scholastik">Scholastik</a> Varianten der ersten Schreibweise, „Alle S sind P“, der Vorzug gegeben. Stärker als in der traditionellen tritt in der aristotelischen Formulierung der Unterschied zwischen grammatikalischem und syllogistischem Subjekt bzw. Prädikat zutage; so hat in der Formulierung „P kommt allem S zu“ das syllogistische Prädikat, „P“, die Funktion des grammatikalischen Subjekts und das syllogistische Subjekt, „S“, die Funktion des grammatikalischen Prädikats.

</p><p>Es gibt jedoch in der Nachfolge von Jan Łukasiewicz die Meinung, dass die aristotelischen Syllogismen im Gegensatz zu denen der sich auf ihn berufenden Tradition keine Argumente aus zwei Prämissen und einer Konklusion seien, sondern zusammengesetzte Einzelsätze. Aus dieser Sicht müsse die aristotelische Variante des obigen Beispiels wie folgt lauten:

</p>

<dl><dd>Wenn kein Rechteck ein Kreis ist und alle Quadrate Rechtecke sind, dann ist kein Quadrat ein Kreis.</dd></dl>

<p>Die richtige Einordnung der aristotelischen Syllogismen ist bis heute strittig. Da die Umwandlung zwischen den beiden Lesarten einfach ist und da Aristoteles seine Syllogismen trotz ihrer Formulierung in „Wenn–dann“-Form als Schlussregeln gebraucht,<sup id="cite_ref-16" class="reference"><a href="#cite_note-16"><span class="cite-bracket">[</span>16<span class="cite-bracket">]</span></a></sup> stellt der vorliegende Artikel konkrete Syllogismen durchgängig in ihrer traditionellen Formulierung als aus drei Aussagen zusammengesetzte Argumente dar.

</p><p>Als Weiterentwicklung der kategorischen oder assertorischen Syllogistik gibt es schon bei Aristoteles Ansätze einer <a href="Modallogik" title="Modallogik">modalen</a> Syllogistik, bei der in den – von diesem Unterschied abgesehen gleich aufgebauten – Syllogismen modale Aussagen wie „Alle Menschen sind möglicherweise sterblich“ zugelassen sind.

</p><p>Logische Systeme, die wie die Syllogistik mit Aussagen arbeiten, in denen <a href="Begriff_(Philosophie)" title="Begriff (Philosophie)">Begriffe</a> zueinander in Beziehung gesetzt werden, werden allgemein <a href="Begriffslogik" title="Begriffslogik">Begriffslogiken</a> genannt.

</p>

<div class="mw-heading mw-heading3"><h3 id="Typen_von_Aussagen">Typen von Aussagen</h3></div>

<p>Eine Aussage in einem Syllogismus, ein <a href="Kategorisches_Urteil" title="Kategorisches Urteil">kategorisches Urteil</a>, setzt immer zwei Begriffe in eine Beziehung. Dabei werden nur vier Typen von Urteilen bezüglich der Beziehung zwischen einem Subjekt (S) und einem Prädikat (P) betrachtet:

</p>

<th style="text-align:left">Typ

</th>

<th style="text-align:left">Bezeichnung

</th>

<th style="text-align:left">Formulierungen des Urteils

</th>

<th style="text-align:left">Kurzschreibweise

</th></tr>

<tr>

<td>A

</td>

<td>allgemein bejahendes Urteil

</td>

<td>

<table>

<td>alle S sind P (und es gibt tatsächlich S)

</td></tr>

<tr>

<td>P kommt allem S zu

</td></tr>

</tbody></table>

</td>

<td>SaP

</td></tr>

<tr>

<td>E

</td>

<td>allgemein verneinendes Urteil

</td>

<td>

<table>

<td>kein S ist P (und es gibt tatsächlich S)

</td></tr>

<tr>

<td>P kommt keinem S zu

</td></tr></tbody></table>

</td>

<td>SeP

</td></tr>

<tr>

<td>I

</td>

<td>partikulär bejahendes Urteil

</td>

<td>

<table>

<td>einige S sind P

</td></tr>

<tr>

<td>P kommt einigem S zu

</td></tr>

</tbody></table>

</td>

<td>SiP

</td></tr>

<tr>

<td>O

</td>

<td>partikulär verneinendes Urteil

</td>

<td>

<table>

<td>einige S sind nicht P

</td></tr>

<tr>

<td>P kommt einigem S nicht zu

</td></tr>

</tbody></table>

</td>

<td>SoP

</td></tr>

</tbody></table>

<p>Die Vokale stammen dabei aus den lateinischen Worten „<b>a</b>ff<b>i</b>rmo“ (ich bejahe) und „n<b>e</b>g<b>o</b>“ (ich verneine), wobei jeweils der erste Vokal für ein allgemeines, der zweite für ein partikuläres Urteil steht.

</p>

<div class="mw-heading mw-heading3"><h3 id="Quantität_und_Qualität"><span id="Quantit.C3.A4t_und_Qualit.C3.A4t"></span>Quantität und Qualität</h3></div>

<p>Die Eigenschaft einer Aussage, über wie viele Gegenstände sie spricht, wird traditionell die <b>Quantität</b> dieser Aussage genannt. In diesem Sinn gibt es im Syllogismus zwei Quantitäten, nämlich (a) partikulär und (b) universell oder allgemein. Die Eigenschaft einer Aussage, einem Subjekt ein Prädikat zu- oder abzusprechen, wird traditionell die <b>Qualität</b> dieser Aussage genannt. Spricht eine Aussage einem Subjekt ein Prädikat zu, nennt man sie bejahende Aussage, spricht sie es ihm ab, verneinende Aussage. Die Typen von Aussagen sind in folgender Tabelle nach ihrer Qualität und Quantität aufgeschlüsselt:

</p>

<td> 

</td>

<th>bejahend

</th>

<th>verneinend

</th></tr>

<tr>

<th style="text-align:right">allgemein

</th>

<td>A-Urteil

</td>

<td>E-Urteil

</td></tr>

<tr>

<th style="text-align:right">partikulär

</th>

<td>I-Urteil

</td>

<td>O-Urteil

</td></tr></tbody></table>

<div class="mw-heading mw-heading3"><h3 id="Logisches_Quadrat">Logisches Quadrat</h3></div>

<p>Unter der Voraussetzung, dass ihre Subjekte keine leeren Begriffe sind, bestehen zwischen den unterschiedlichen Aussagentypen verschiedene Beziehungen:

</p>

<ul><li>Zwei Aussagen bilden einen <i>kontradiktorischen Gegensatz</i> genau dann, wenn beide weder gleichzeitig wahr noch gleichzeitig falsch sein können, mit anderen Worten: wenn beide unterschiedliche Wahrheitswerte haben müssen. Das wiederum ist genau dann der Fall, wenn die eine Aussage die <a href="Negation" title="Negation">Negation</a> der anderen ist (und umgekehrt). Für die syllogistischen Aussagentypen trifft das kontradiktorische Verhältnis auf die Paare A–O und I–E zu.</li>

<li>Zwei Aussagen bilden einen <i>konträren Gegensatz</i> genau dann, wenn sie zwar nicht beide zugleich wahr, wohl aber beide falsch sein können. In der Syllogistik steht nur das Aussagenpaar A–E in konträrem Gegensatz.</li>

<li>Zwei Aussagen bilden einen <i>subkonträren Gegensatz</i> genau dann, wenn nicht beide zugleich falsch (wohl aber beide zugleich wahr) sein können. In der Syllogistik steht nur das Aussagenpaar I–O in subkonträrem Gegensatz.</li>

<li>Zwischen den Aussagetypen A und I einerseits und E und O andererseits besteht ein <i>Folgerungszusammenhang</i> (traditionell wird dieser Folgerungszusammenhang im logischen Quadrat <i>Subalternation</i> genannt): Aus A folgt I, d. h., wenn alle S P sind, dann gibt es auch tatsächlich S, die P sind; und aus E folgt O, d. h., wenn keine S P sind, dann gibt es tatsächlich S, die nicht P sind.</li></ul>

<p>Diese Zusammenhänge werden oft in einem Schema, das unter dem Namen „Logisches Quadrat“ bekannt wurde, zusammengefasst (siehe Abbildung). Die älteste bekannte Niederschrift des logischen Quadrats stammt aus dem zweiten nachchristlichen Jahrhundert und wird <a href="Apuleius" title="Apuleius">Apuleius von Madauros</a> zugeschrieben.<sup id="cite_ref-17" class="reference"><a href="#cite_note-17"><span class="cite-bracket">[</span>17<span class="cite-bracket">]</span></a></sup>

</p>

<div class="mw-heading mw-heading3"><h3 id="Existenzielle_Voraussetzungen">Existenzielle Voraussetzungen</h3></div>

<p>Wie schon im logischen Quadrat ersichtlich, gelten viele der überlieferten Gesetzmäßigkeiten der Syllogistik nur unter der Voraussetzung, dass zumindest das Subjekt der betroffenen Aussagen nicht leer ist. Im Allgemeinen wird daher davon ausgegangen, dass syllogistische Aussagen tatsächlich Existenzaussagen über das Subjekt treffen, d. h. voraussetzen, dass das Subjekt kein leerer Begriff ist:

</p>

<ul><li>Die Aussage „Alle S sind P“ bedeutet damit: „Es gibt S, und alle davon sind P“.</li>

<li>Die Aussage „Keine S sind P“ bedeutet damit: „Es gibt S, und keine davon sind P“.</li>

<li>Die Aussage „Einige S sind P“ bedeutet damit: „Es gibt S, und einige von ihnen sind P.“</li>

<li>Die Aussage „Einige S sind nicht P“ bedeutet damit: „Es gibt S, und einige von ihnen sind nicht P.“</li></ul>

<p>Die Existenzaussage „Es gibt S“ wird dabei für gewöhnlich nicht als Teil des jeweiligen syllogistischen Urteils verstanden, sondern als seine <a href="Pr%C3%A4supposition" title="Präsupposition">Präsupposition</a>, das heißt als Voraussetzung dafür, dass das jeweilige Urteil zum syllogistischen Schließen überhaupt verwendet werden kann. Die Existenzaussage zum Teil des syllogistischen Urteils zu machen, ist zwar möglich, aber formal relativ kompliziert, und wird hinsichtlich seiner Adäquatheit unterschiedlich beurteilt.<sup id="cite_ref-18" class="reference"><a href="#cite_note-18"><span class="cite-bracket">[</span>18<span class="cite-bracket">]</span></a></sup>

</p><p>Je nach Interpretation der syllogistischen Aussagen und Gesetzmäßigkeiten ist auch die Sicht möglich, dass syllogistisches Schließen überhaupt nur mit nicht leeren Begriffen möglich sei, das heißt, dass auch die Prädikate nicht leer sein dürfen.<sup id="cite_ref-19" class="reference"><a href="#cite_note-19"><span class="cite-bracket">[</span>19<span class="cite-bracket">]</span></a></sup> Die Frage, welche Autoren der Tradition welche Sichtweise vertreten haben, wird unterschiedlich beurteilt und ist bis heute Gegenstand philosophischer und philologischer Untersuchungen.<sup id="cite_ref-20" class="reference"><a href="#cite_note-20"><span class="cite-bracket">[</span>20<span class="cite-bracket">]</span></a></sup>

</p><p>Obwohl existenzielle Voraussetzungen dem natürlichen Sprachgebrauch entsprechen (normalerweise empfindet man nur Allaussagen über tatsächlich vorhandene Dinge als sinnvoll), ist es wichtig, sich ihrer bewusst zu sein, weil es durchaus auch logische Systeme gibt, die diese Voraussetzungen nicht machen.

</p>

<div class="mw-heading mw-heading3"><h3 id="Distribution">Distribution</h3></div>

<p>In der Syllogistik wird von der Distribution (von <a href="Latein" title="Latein">lateinisch</a> <i>distributio</i>, Verteilung) eines Begriffs innerhalb einer Aussage gesprochen. Ein Begriff ist innerhalb einer Aussage genau dann distribuiert, wenn aus dieser Aussage jede andere Aussage folgt, die aus der ursprünglichen Aussage entsteht, indem der ursprüngliche Begriff durch einen echten Unterbegriff ersetzt wird.<sup id="cite_ref-21" class="reference"><a href="#cite_note-21"><span class="cite-bracket">[</span>21<span class="cite-bracket">]</span></a></sup> Eine oft gebrauchte und bei richtigem Verständnis äquivalente Formulierung lautet: Ein Begriff ist innerhalb einer syllogistischen Aussage genau dann distribuiert, wenn er sich innerhalb der Aussage auf alle Gegenstände bezieht, auf die der Begriff zutrifft.

</p><p>Zum Beispiel ist in der syllogistischen A-Aussage „Alle Philosophen (Subjekt) sind Menschen (Prädikat)“ der Begriff „Philosoph“ distribuiert: Aus der Tatsache, dass alle Philosophen Menschen sind, folgt, dass alle Sprachphilosophen (ein Unterbegriff von „Philosoph“) Menschen sind, dass alle Existenzphilosophen (ein weiterer Unterbegriff von „Philosoph“) Menschen sind usw. Nicht distribuiert ist in dieser Aussage hingegen der Begriff „Mensch“: Aus der Tatsache, dass alle Philosophen Menschen sind, folgt zum Beispiel noch lange nicht, dass alle Philosophen Europäer (ein Unterbegriff von Mensch) sind.

</p><p>Eine Übersicht darüber, in welchem Typ von Aussage welcher Begriff distribuiert ist, gibt die folgende Tabelle.

</p>

<td> 

</td>

<th>Subjekt

</th>

<th>Prädikat

</th></tr>

<tr>

<th style="text-align:right">A-Urteil

</th>

<td>distribuiert

</td>

<td>nicht distribuiert

</td></tr>

<tr>

<th style="text-align:right">E-Urteil

</th>

<td>distribuiert

</td>

<td>distribuiert

</td></tr>

<tr>

<th style="text-align:right">I-Urteil

</th>

<td>nicht distribuiert

</td>

<td>nicht distribuiert

</td></tr>

<tr>

<th style="text-align:right">O-Urteil

</th>

<td>nicht distribuiert

</td>

<td>distribuiert

</td></tr></tbody></table>

<div class="mw-heading mw-heading3"><h3 id="Syllogismen_aus_moderner_Sicht">Syllogismen aus moderner Sicht</h3></div>

<p>Es gibt verschiedene Ansätze, die traditionelle Syllogistik zu axiomatisieren bzw. auf eindeutigen Regeln aufzubauen.

</p><p>Eine aus heutiger Sicht wesentliche Einschränkung ist, dass die Syllogismen nur Quantoren behandeln können, die mit dem <a href="Subjekt_(Grammatik)" title="Subjekt (Grammatik)">Subjekt</a> der Aussage verbunden sind (wie in <i>Alle Menschen sind sterblich</i>), Quantoren an Objektstelle (wie in <i>Sokrates kennt alle Athener</i>) sind in diesem System nicht behandelbar. Dies wurde erst durch <a href="Gottlob_Frege" title="Gottlob Frege">Freges</a> Verwendung von <a href="Funktion_(Mathematik)" title="Funktion (Mathematik)">mathematischen Funktionen</a> in der Logik möglich.

</p><p>Die klassischen Syllogismen lassen sich modern sowohl als Anwendung eines Teilsystems der <a href="Pr%C3%A4dikatenlogik" title="Prädikatenlogik">Prädikatenlogik</a>, nämlich der monadischen Prädikatenlogik, als auch als <a href="Menge_(Mathematik)" title="Menge (Mathematik)">Mengenbeziehungen</a> darstellen. Bei der Darstellung als Mengenbeziehungen wird jeder Begriff als sein Umfang (fachsprachlich <a href="Extension_und_Intension#Extension" title="Extension und Intension">Extension</a>) interpretiert, d. h. als die Menge der Gegenstände, die unter diesen Begriff fallen. Der Begriff „Mensch“ zum Beispiel wird extensional als die Menge aller Menschen interpretiert.

</p><p>Bei der prädikatenlogischen Interpretation wird jeder Begriff als ein einstelliges Prädikat im Sinn der Prädikatenlogik dargestellt, d. h. als eine einstellige Funktion im mathematischen Sinn, die auf konkrete Individuen angewendet werden kann und die für jedes Individuum die Information liefert, ob es unter diesen Begriff fällt oder nicht. So würde zum Beispiel der Begriff „Mensch“ als das Prädikat „_ ist ein Mensch“ interpretiert. Wendet man dieses Prädikat auf einen Menschen an, zum Beispiel auf Sokrates, dann liefert es den <a href="Wahrheitswert" title="Wahrheitswert">Wahrheitswert</a> „wahr“; wendet man es auf einen Gegenstand an, der kein Mensch ist – zum Beispiel auf ein Tier, auf einen Planeten oder auf eine Zahl –, dann liefert es den Wahrheitswert „falsch“.

</p>

<th>Typ

</th>

<th style="text-align:left">Urteil

</th>

<th style="text-align:left">Mengenlehre

</th>

<th style="text-align:left">Prädikatenlogik

</th></tr>

<tr>

<th width="9%">A

</th>

<td width="20%">Alle S sind P.

</td>

<table>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S\subseteq P}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/b8471ee9cd4369221ca2f06a2fa801f4cd4fcc98.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:6.343ex; height:2.343ex;" alt="{\displaystyle S\subseteq P}" loading="lazy"></span>, wobei <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S\not =\emptyset }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S\not =\emptyset }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/eb5fbb6cf4344e281f51d6511d07428806140ceb.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.76ex; height:2.843ex;" alt="{\displaystyle S\not =\emptyset }" loading="lazy"></span>

</td></tr>

<tr>

<td>Der (nicht leere) Umfang von S ist eine Teilmenge des Umfangs von P.

</td></tr>

</tbody></table>

</td>

<table>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \forall x(Sx\rightarrow Px)}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/5cc764f5f453e363b41b2bb06ab4d7e97bc16d1f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.95ex; height:2.843ex;" alt="{\displaystyle \forall x(Sx\rightarrow Px)}" loading="lazy"></span>, wobei <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \exists xSx}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \exists xSx}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/054544c91eea45cf73f1b959a998f7c8f2f73d9e.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.451ex; height:2.176ex;" alt="{\displaystyle \exists xSx}" loading="lazy"></span>

</td></tr>

<tr>

<td>Für jedes Individuum gilt: Wenn es ein S ist, dann ist es auch ein P (wobei S nicht leer ist).

</td></tr>

</tbody></table>

</td></tr>

<tr>

<th>E

</th>

<td>Keine S sind P.

</td>

<td>

<table>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S\cap P=\emptyset }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/5acd9d8478274c6e8dbaf5dbc5740b5aff810eea.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:10.088ex; height:2.509ex;" alt="{\displaystyle S\cap P=\emptyset }" loading="lazy"></span>, wobei <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S\not =\emptyset }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S\not =\emptyset }</annotation>

</semantics>

</td></tr>

<tr>

<td>Die Schnittmenge des (nicht leeren) Umfangs von S und des Umfangs von P ist leer.

</td></tr>

</tbody></table>

</td>

<td>

<table>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \forall x(Sx\rightarrow \neg Px)}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d9909defa77ea7733957a92db205aa166339a8ca.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:15.5ex; height:2.843ex;" alt="{\displaystyle \forall x(Sx\rightarrow \neg Px)}" loading="lazy"></span>, wobei <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \exists xSx}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \exists xSx}</annotation>

</semantics>

</td></tr>

<tr>

<td>Für jedes Individuum gilt: Wenn es ein S ist, dann ist es nicht der Fall, dass es auch ein P ist (wobei S nicht leer ist).

</td></tr>

</tbody></table>

</td></tr>

<tr>

<th>I

</th>

<td>Einige S sind P.

</td>

<td>

<table>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S\cap P\neq \emptyset }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/87e0b962740518aa81e33a4f8c7817cb85e71081.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:10.088ex; height:2.843ex;" alt="{\displaystyle S\cap P\neq \emptyset }" loading="lazy"></span>

</td></tr>

<tr>

<td>Die Schnittmenge des Umfangs von S und des Umfangs von P ist nicht leer.

</td></tr>

</tbody></table>

</td>

<td>

<table>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \exists x(Sx\wedge Px)}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ae7507967e49de566916afec8590d0a78855eb11.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:12.918ex; height:2.843ex;" alt="{\displaystyle \exists x(Sx\wedge Px)}" loading="lazy"></span>

</td></tr>

<tr>

<td>Es gibt mindestens ein Individuum, das ein S ist und das auch ein P ist.

</td></tr>

</tbody></table>

</td></tr>

<tr>

<th>O

</th>

<td>Einige S sind nicht P.

</td>

<td>

<table>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S\not \subseteq P}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/0a6a901cf59b660af8f14a64f2fc5b6cbe536868.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:6.343ex; height:3.176ex;" alt="{\displaystyle S\not \subseteq P}" loading="lazy"></span>

</td></tr>

<tr>

<td>Der (nicht leere) Umfang von S ist keine Teilmenge des Umfangs von P. (Dass S nicht leer sein kann, ist allerdings schon implizit gegeben, da die leere Menge Teilmenge jeder Menge ist.)

</td></tr>

</tbody></table>

</td>

<td>

<table>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \exists x(Sx\wedge \neg Px)}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/8c2606fefded8db2b8ce992c813dd7bfe0b34117.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.468ex; height:2.843ex;" alt="{\displaystyle \exists x(Sx\wedge \neg Px)}" loading="lazy"></span>

</td></tr>

<tr>

<td>Es gibt mindestens ein Individuum, das ein S ist und bei dem es nicht der Fall ist, dass es auch ein P ist.

</td></tr>

</tbody></table>

</td></tr></tbody></table>

<p>An dieser Formalisierung wurde historisch und auch in jüngerer Zeit Kritik geübt. Dabei wurde die traditionelle Logik als <a href="Begriffslogik" title="Begriffslogik">Begriffslogik</a> etwa von <a href="Fritz_Mauthner" title="Fritz Mauthner">Fritz Mauthner</a> der modernen Logik gegenübergestellt, die abschätzig auch als <i>Logistik</i> bezeichnet wurde. Zentral war dabei unter anderem die Frage, ob durch die Formalisierung Existenz<a href="Pr%C3%A4supposition" title="Präsupposition">präsuppositionen</a> verloren gehen, die in der vormodernen Lokaltradition als selbstverständlich galten. Auch ist eine direkte Übertragung des <a href="Logisches_Quadrat" class="mw-redirect" title="Logisches Quadrat">logischen Quadrats</a> nicht unproblematisch, wie <a href="Michael_Wolff_(Philosoph)" title="Michael Wolff (Philosoph)">Michael Wolff</a> in seinem <i>Essay über Frege</i> dargelegt hat.

</p><p>Walther Brüning reihte die Syllogistik als strenge Syllogistik als ein Kernstück und einen Sonderfall seiner <i><a href="Walther_Br%C3%BCning#Strenge_Logik" title="Walther Brüning">strengen Logik</a></i> ein und begegnet dabei den Problemen der klassisch prädikatenlogischen Formalisierung. Er deutet die Urteile als Abkürzungen von sogenannten Geltungswertformeln (siehe: <a href="Kategorisches_Urteil#Behandlung_in_der_Strengen_Logik" title="Kategorisches Urteil">Kategorisches Urteil – Behandlung in der Strengen Logik</a>) und benutzt einen Ableitungsbegriff, der es gestattet alle Syllogismen am Einfachsten abzuleiten. Ein vorangegangener Ansatz war die <i>differentielle Syllogistik</i> von <a href="Albert_Menne" title="Albert Menne">Albert Menne</a>.

</p>

<div class="mw-heading mw-heading3"><h3 id="Regeln_für_die_Gültigkeit_von_Syllogismen"><span id="Regeln_f.C3.BCr_die_G.C3.BCltigkeit_von_Syllogismen"></span>Regeln für die Gültigkeit von Syllogismen</h3></div>

<p>Gültige Syllogismen haben bestimmte Eigenschaften hinsichtlich der Qualität, Quantität und Distribution der in ihnen vorkommenden Begriffe; zum Beispiel kann ein Syllogismus niemals gültig sein, wenn seine Prämissen partikuläre Aussagen sind, seine Konklusion aber eine allgemeine Aussage ist.

</p><p>Da in Abhängigkeit von der speziellen Interpretation unterschiedlich viele syllogistische Modi gültig sind, gibt es in der Tradition auch unterschiedliche Regelwerke. Im Folgenden werden die heute gängigsten Regeln dargestellt.<sup id="cite_ref-22" class="reference"><a href="#cite_note-22"><span class="cite-bracket">[</span>22<span class="cite-bracket">]</span></a></sup> Sie gehen in dieser einfachen Form auf das <a href="Sp%C3%A4tmittelalter" title="Spätmittelalter">Spätmittelalter</a> zurück und sind nicht Teil der antiken, aristotelischen Syllogistik.<sup id="cite_ref-23" class="reference"><a href="#cite_note-23"><span class="cite-bracket">[</span>23<span class="cite-bracket">]</span></a></sup> Das genannte Regelsystem ist der Einfachheit halber redundant, d. h., einige der Regeln lassen sich durch andere ausdrücken.

</p>

<div class="mw-heading mw-heading4"><h4 id="Regeln_der_Qualität"><span id="Regeln_der_Qualit.C3.A4t"></span>Regeln der Qualität</h4></div>

<ol><li>Mindestens eine der beiden Prämissen muss eine bejahende Aussage sein (<a href="Latein" title="Latein">lateinisch</a> <i>ex mere negativis nihil sequitur</i>, „allein aus verneinten Aussagen folgt nichts“).<br>Zum Beispiel kann aus den Prämissen „Kein Fisch ist Angler“ und „Einige Angler sind keine Fische“ syllogistisch keine Schlussfolgerung gezogen werden.</li>

<li>Wenn beide Prämissen bejahend sind, dann muss auch die Konklusion bejahend sein (lateinisch <i>ambae affirmantes nequeunt generare negantem</i>, „zwei bejahende Aussagen können keine verneinte Aussage erzeugen“).</li>

<li>Wenn eine der beiden Prämissen verneinend ist, dann muss auch die Konklusion verneinend sein.</li></ol>

<div class="mw-heading mw-heading4"><h4 id="Regeln_der_Quantität"><span id="Regeln_der_Quantit.C3.A4t"></span>Regeln der Quantität</h4></div>

<ol><li>Mindestens eine der beiden Prämissen muss eine allgemeine Aussage sein (lateinisch <i>nihil sequitur geminis ex particularibus unquam</i>, „nichts folgt jemals aus partikularen Aussagen“).<br>Aus den Prämissen „Einige Säugetiere leben im Wasser“ und „Einige Tiere, die auf dem Land leben, sind Säugetiere“ kann ebenfalls syllogistisch nicht geschlossen werden.</li>

<li>Wenn eine der beiden Prämissen eine partikuläre Aussage ist, kann die Konklusion keine allgemeine Aussage sein.</li></ol>

<div class="mw-heading mw-heading4"><h4 id="Regeln_der_Distribution">Regeln der Distribution</h4></div>

<ol><li>Der Mittelbegriff muss mindestens einmal distribuiert vorkommen.</li>

<li>Wenn ein Begriff in der Konklusion distribuiert auftritt, muss er auch in einer Prämisse distribuiert auftreten.</li></ol>

<div class="mw-heading mw-heading2"><h2 id="Figuren">Figuren</h2></div>

<p>Welche der drei Begriffe S, P und M in welcher Aussage des Syllogismus vorkommen müssen, ist festgelegt: Der Obersatz besteht aus P und M, der Untersatz aus S und M, die Konklusion aus S und P. Die Konklusion hat dabei immer die Form S – P, die Anordnung der Begriffe in den Prämissen kann frei gewählt werden. Die Reihenfolge, in der die Prämissen aufgeschrieben werden, ist für die Gültigkeit eines Syllogismus zwar unerheblich, dennoch wird bereits seit Aristoteles zuerst der Obersatz und im Anschluss der Untersatz genannt.

</p><p>Je nach Anordnung der Begriffe in den Prämissen unterscheidet man die vier möglichen Figuren (<span style="font-style:normal;font-weight:normal"><a href="Altgriechische_Sprache" title="Altgriechische Sprache">altgriechisch</a></span> <span lang="grc-Grek" class="Grek" style="font-style:normal">σχἠματα</span> <span class="Latn" lang="grc-Latn" style="font-weight:normal;font-style:italic">schemata</span>):

</p>

<td>

</td>

<th width="20%">1. Figur

</th>

<th width="20%">2. Figur

</th>

<th width="20%">3. Figur

</th>

<th width="20%">4. Figur

</th></tr>

<tr>

<th style="text-align:right">erste Prämisse

</th>

<td>M – P

</td>

<td>P – M

</td>

<td>M – P

</td>

<td>P – M

</td></tr>

<tr>

<th style="text-align:right">zweite Prämisse

</th>

<td>S – M

</td>

<td>S – M

</td>

<td>M – S

</td>

<td>M – S

</td></tr>

<tr>

<th style="text-align:right">Konklusion

</th>

<td>S – P

</td>

<td>S – P

</td>

<td>S – P

</td>

<td>S – P

</td></tr></tbody></table>

<p><b>Beispiel:</b>

</p>

<dl><dd>Prämisse 1 (oder <i>Obersatz</i>): Alle Menschen <i>(M)</i> sind sterblich <i>(P)</i>.</dd>

<dd>Prämisse 2 (oder <i>Untersatz</i>): Alle Griechen <i>(S)</i> sind Menschen <i>(M)</i>.</dd>

<dd>Konklusion (oder <i>Schlusssatz</i>): Also sind alle Griechen <i>(S)</i> sterblich <i>(P)</i>.</dd></dl>

<dl><dd>Aufgrund der Stellung der Begriffe M – P, S – M, S – P erkennt man einen Syllogismus der 1. Figur.</dd></dl>

<div class="mw-heading mw-heading3"><h3 id="Modi_(Kombinationen)_und_ihre_Merkwörter"><span id="Modi_.28Kombinationen.29_und_ihre_Merkw.C3.B6rter"></span>Modi (Kombinationen) und ihre Merkwörter</h3></div>

<p>Da jede der drei Aussagen in einem Syllogismus von einem der vier Typen A, E, O, I sein kann, gibt es pro Figur <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 4\times 4\times 4=64}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle 4\times 4\times 4=64}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d71809d0acddd16b610ecb64c0f33be41487e06e.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:14.592ex; height:2.176ex;" alt="{\displaystyle 4\times 4\times 4=64}" loading="lazy"></span> Möglichkeiten, Aussagen zu einem Syllogismus der jeweiligen Figur zu kombinieren. Jede dieser Möglichkeiten wird ein Modus (Plural: Modi) bzw. eine Kombination der jeweiligen Figur genannt. Bei insgesamt vier verschiedenen Figuren gibt es so insgesamt <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 64\times 4=256}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle 64\times 4=256}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/37610caddd33bd3b05fa7987392452a22e61d6cc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:12.914ex; height:2.176ex;" alt="{\displaystyle 64\times 4=256}" loading="lazy"></span> Kombinationsmöglichkeiten, d. h. 256 Typen von Syllogismen. Unter diesen 256 Modi sind 24 gültige und 232 nicht gültige Syllogismen.

</p><p>Ein Modus wird durch drei Buchstaben beschrieben. Dabei stehen die ersten beiden Buchstaben für die Typen der Prämissen, der dritte Buchstabe für den Typ der Konklusion.

</p><p><b>Beispiel:</b>

</p>

<dl><dd>Prämisse 1 (oder <i>Obersatz</i>): Alle Krimis <i>(M)</i> sind spannend <i>(P)</i>.</dd>

<dd>Prämisse 2 (oder <i>Untersatz</i>): Einige Bücher <i>(S)</i> sind Krimis <i>(M)</i>.</dd>

<dd>Konklusion (oder <i>Schlusssatz</i>): Also sind einige Bücher <i>(S)</i> spannend <i>(P)</i>.</dd></dl>

<dl><dd>Prämisse 1 ist vom Typ A, Prämisse 2 vom Typ I, die Konklusion folglich ebenfalls vom Typ I. Es handelt sich also um einen Syllogismus vom Typ A–I–I.</dd></dl>

<p>Die 24 gültigen Modi werden traditionell mit folgenden Merkwörtern bezeichnet:

</p>

<dl><dd>1. Figur: <b>Barbara, Celarent, Darii, Ferio</b>, Barbari, Celaront</dd>

<dd>2. Figur: <b>Baroco, Cesare, Camestres, Festino</b>, Camestrop, Cesaro</dd>

<dd>3. Figur: <b>Bocardo, Darapti, Datisi, Disamis, Felapton, Ferison</b></dd>

<dd>4. Figur: <b>Bamalip, Calemes, Dimatis, Fesapo, Fresison</b>, Calemop</dd></dl>

<p>In diesen Merkwörtern bezeichnen die <a href="Vokal" title="Vokal">Vokale</a> die Typen der Aussagen in der Reihenfolge Obersatz–Untersatz–Konklusion; zum Beispiel bezeichnet Modus Darii einen Syllogismus der ersten Figur und vom Typ A–I–I. Die <a href="Konsonant" title="Konsonant">Konsonanten</a> geben an, auf welchen Syllogismus der 1. Figur (erster Konsonant) der jeweilige Syllogismus zurückgeführt werden kann und durch welche Veränderung (jeweils auf Vokal folgender Konsonant) diese Zurückführung möglich ist (siehe Abschnitt <a href="#Reduktion_auf_die_erste_Figur">Reduktion auf die erste Figur</a>).

</p><p>Zu beachten ist, dass in der Tradition unterschiedliche Versionen der Merkwörter kursieren. Die ältesten überlieferten Versionen dieser <a href="Petrus_Hispanus#Mnemotechnische_Syllogistik" title="Petrus Hispanus">mnemotechnischen Syllogistik</a> stammen von den scholastischen Logikern <a href="William_of_Sherwood" title="William of Sherwood">William of Sherwood</a><sup id="cite_ref-24" class="reference"><a href="#cite_note-24"><span class="cite-bracket">[</span>24<span class="cite-bracket">]</span></a></sup> und <a href="Petrus_Hispanus" title="Petrus Hispanus">Petrus Hispanus</a><sup id="cite_ref-25" class="reference"><a href="#cite_note-25"><span class="cite-bracket">[</span>25<span class="cite-bracket">]</span></a></sup> um 1240/1250, wobei die Priorität unsicher ist.

</p><p>Die fünf nicht fett gedruckten Modi sind jeweils „schwache“ Folgerungen eines fett gedruckten „starken“ Modus der jeweiligen Figur. „Stark“ bedeutet dabei, dass die Konklusion eine allgemeine Aussage (A oder E) ist; „schwach“ bedeutet, dass die Konklusion eine partikuläre Aussage (I oder O) ist, die eine direkte Folgerung der jeweiligen starken Aussage ist. Es wird davon ausgegangen, dass schwache Modi erstmals 50 v. Chr. von Ariston von Alexandria thematisiert wurden.<sup id="cite_ref-neb23-263_4-1" class="reference"><a href="#cite_note-neb23-263-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup>

</p><p><b>Beispiele:</b>

</p>

<ul><li>Modus Barbara (stark): Alle Münchner sind Bayern, alle Schwabinger sind Münchner, es folgt: Alle Schwabinger sind Bayern.</li>

<li>Modus Barbari (schwach): Alle Münchner sind Bayern, alle Schwabinger sind Münchner, es folgt: Einige Schwabinger sind Bayern.</li>

<li>Modus Celarent (stark): Kein Münchner ist Passauer, alle Schwabinger sind Münchner, es folgt: Kein Schwabinger ist Passauer.</li>

<li>Modus Celaront (schwach): Kein Münchner ist Passauer, alle Schwabinger sind Münchner, es folgt: Einige Schwabinger sind keine Passauer.</li></ul>

<p>Die schwachen Schlussfolgerungen sind logisch gültig, sofern gewisse Zusatzbedingungen erfüllt sind: Jeweils bestimmte Begriffe (Subjekt, Prädikat oder Mittelbegriff) dürfen nicht leer sein (siehe auch Abschnitt <a href="#Existenzielle_Voraussetzungen">Existenzielle Voraussetzungen</a>).

</p>

<div class="mw-heading mw-heading3"><h3 id="Reduktion_auf_die_erste_Figur">Reduktion auf die erste Figur</h3></div>

<p>Mit einigen einfachen Umformungen, die in den Konsonanten der traditionellen Merkwörter kodiert sind, lassen sich die Modi aller Figuren auf einen Modus der ersten Figur zurückführen („reduzieren“). Diese Tatsache war bereits Aristoteles bekannt, der auch entsprechende Umformungsregeln formuliert hat und der die erste Figur als die vollkommene, Syllogismen der ersten Figur als <i>vollkommenen Syllogismus</i> (τέλειος συλλογισμός – <i>téleios syllogismós</i>) bezeichnete.

</p><p>Der Anfangsbuchstabe des jeweiligen traditionellen Merkwortes gibt an, auf welchen Modus der ersten Figur der jeweilige Modus zurückgeführt werden kann: Modi, deren Name mit „B“ beginnt, lassen sich auf den Modus Barbara zurückführen; Modi, deren Name mit „C“ beginnt, lassen sich auf den Modus Celarent zurückführen; und ebenso lassen sich Modi, deren Name mit „D“ bzw. mit „F“ beginnt, auf den Modus Darii bzw. Ferio zurückführen.

</p><p>Die Umformungen der Syllogistik sind <a href="Schlussregel" title="Schlussregel">Schlussregeln</a> im formalen Sinn, d. h., das Resultat jeder syllogistischen Umformung einer Aussage bzw. eines Syllogismus <i>folgt</i> aus der umgeformten Aussage bzw. aus dem umgeformten Syllogismus.

</p><p>Die für die Reduktion erforderlichen Umformungen sind im Folgenden näher beschrieben; zusätzlich wird im Abschnitt <a href="#Beispiele_und_Reduktion_auf_die_erste_Figur">Beispiele und Reduktion auf die erste Figur</a> für jeden syllogistischen Modus ein Beispiel genannt und dessen Reduktion auf die erste Figur gezeigt.

</p>

<div class="mw-heading mw-heading4"><h4 id="Einfache_Umwandlung">Einfache Umwandlung</h4></div>

<p>Bei der einfachen Umwandlung (lat. <i>conversio simplex</i>) werden Subjekt und Prädikat der jeweiligen Aussage vertauscht; so wird aus der Aussage „Einige Philosophen sind Griechen“ nach der einfachen Umwandlung die Aussage „Einige Griechen sind Philosophen“. In den Merkwörtern wird die einfache Umwandlung einer Aussage durch den Buchstaben „s“ hinter dem der betroffenen Aussage zugeordneten Vokal angezeigt; zum Beispiel muss beim Reduzieren des Modus Ce<b>s</b>are die erste Prämisse, eine E-Aussage, einer einfachen Umwandlung unterzogen werden.

</p><p>Einfache Umwandlung ist nur bei Aussagen der Typen E und I möglich: Wenn keine Schweine Schafe sind, dann sind auch keine Schafe Schweine (E-Aussage); und wenn einige Griechen Philosophen sind, dann sind auch einige Philosophen Griechen (I-Aussage). Für die A- und O-Aussage ist keine einfache Umwandlung möglich: Wenn alle Philosophen Menschen sind, heißt das nämlich noch lange nicht, dass alle Menschen Philosophen sind (A-Aussage); und wenn einige Menschen keine Politiker sind, heißt das noch lange nicht, dass einige Politiker keine Menschen sind (O-Aussage). Tatsächlich sind unter den traditionellen Merkwörtern nur solche, bei denen das „s“ auf ein „e“ oder „i“ folgt.

</p><p>Normalerweise wird die einfache Umwandlung auf die jeweilige Prämisse des zu reduzierenden Syllogismus angewendet. Steht das „s“ jedoch am Ende des Merkwortes, dann wird nicht die Konklusion des zu reduzierenden Syllogismus der einfachen Umwandlung unterzogen, sondern die Konklusion jenes Syllogismus der ersten Figur, <i>auf den</i> reduziert werden soll. Ein Beispiel für diesen Sonderfall ist der Modus Dimati<b>s</b>: Er wird auf einen Modus Datisi zurückgeführt, in dessen Konklusion Subjekt und Prädikat vertauscht werden, also auf einen Syllogismus der Form „Alle P sind M. Einige M sind S. Also sind einige P S.“

</p>

<div class="mw-heading mw-heading4"><h4 id="Umwandlung_durch_Einschränkung"><span id="Umwandlung_durch_Einschr.C3.A4nkung"></span>Umwandlung durch Einschränkung</h4></div>

<p>Bei der Umwandlung durch Einschränkung (lat. <i>conversio per accidens</i>) wird zusätzlich zur Vertauschung von Subjekt und Prädikat der jeweiligen Aussage ihr Typ von A auf I bzw. von E auf O geändert. So wird zum Beispiel aus der A-Aussage „Alle Schweine sind rosa“ nach der Umwandlung durch Einschränkung die I-Aussage „Einige rosa (Dinge) sind Schweine“ und wird aus der E-Aussage „Keine Schweine sind Schafe“ die O-Aussage „Einige Schafe sind keine Schweine“. In den Merkwörtern wird die Umwandlung durch Einschränkung durch den Buchstaben „p“ hinter dem der betroffenen Aussage zugeordneten Vokal angezeigt.

</p><p>Auch bei dieser Umwandlung liegt ein Sonderfall vor, wenn das „p“ im Merkwort nach dem dritten Vokal – also am Wortende – steht: In diesem Fall bezieht es sich wie bei der einfachen Umwandlung nicht auf die Konklusion des zu reduzierenden Syllogismus, sondern auf die Konklusion des resultierenden Syllogismus der ersten Figur.

</p>

<div class="mw-heading mw-heading4"><h4 id="Vertauschung_der_Prämissen"><span id="Vertauschung_der_Pr.C3.A4missen"></span>Vertauschung der Prämissen</h4></div>

<p>Vertauschung der Prämissen (lat. <i>mutatio praemissarum</i>) ist für die Reduktion all jener Modi erforderlich, in deren Merkwörtern der Konsonant „m“ an beliebiger Stelle vorkommt. Unabhängig von der Position des Konsonanten „m“ im jeweiligen Merkwort darf die Vertauschung der Prämissen erst <i>nach</i> jeder allenfalls erforderlichen einfachen Umwandlung und nach jeder allenfalls erforderlichen Umwandlung durch Einschränkung ausgeführt werden.

</p>

<div class="mw-heading mw-heading4"><h4 id="Indirekter_Beweis">Indirekter Beweis</h4></div>

<p>Modi, in deren Merkwörtern der Konsonant „c“ vorkommt, aber nicht am Wortanfang steht, – also nur die Modi Baroco und Bocardo – lassen sich nur durch einen <a href="Reductio_ad_absurdum" title="Reductio ad absurdum">indirekten Beweis</a> (lat. <i>reductio ad absurdum</i>)<sup id="cite_ref-26" class="reference"><a href="#cite_note-26"><span class="cite-bracket">[</span>26<span class="cite-bracket">]</span></a></sup> auf die erste Figur zurückführen. Zu diesem Behuf wird die Wahrheit der A-Prämisse des zu reduzierenden Syllogismus (im Fall von Baroco also die erste, im Fall von Bocardo die zweite Prämisse) sowie das kontradiktorische Gegenteil, d. h. die Negation der Konklusion angenommen. Auf diese Weise entsteht ein Modus Barbara, dessen Konklusion der O-Prämisse des zu reduzierenden Syllogismus widerspricht. Da die Annahme, die Konklusion treffe nicht zu, solcherart zu einem Widerspruch geführt hat, ist gezeigt, dass die Konklusion zutreffen muss.

</p><p>Im Detail ausgeführt wird der indirekte Beweis in den Abschnitten <a href="#AOO_–_Modus_Baroco">AOO – Modus Baroco</a> und <a href="#OAO_–_Modus_Bocardo">OAO – Modus Bocardo</a>.

</p>

<div class="mw-heading mw-heading4"><h4 id="Abweichende_Darstellungen">Abweichende Darstellungen</h4></div>

<p>Hinsichtlich der genauen Formulierung der Umwandlungsregeln gibt es bei den einzelnen Autoren Unterschiede; insbesondere ist es üblich,<sup id="cite_ref-27" class="reference"><a href="#cite_note-27"><span class="cite-bracket">[</span>27<span class="cite-bracket">]</span></a></sup> auf den hier dargebrachten Sonderfall bei der einfachen Umwandlung und bei der Umwandlung durch Einschränkung zu verzichten und die Konsonanten „s“ und „p“ auch am Wortende auf den <i>umzuwandelnden</i> Syllogismus zu beziehen und nicht – wie hier dargestellt – auf den Ziel-Syllogismus. Diese Formulierung würde aber die Reduktion der beiden Modi „Bamalip“ und „Camestrop“ in der dargestellten Form unmöglich machen, weil weder für eine I-Aussage noch für eine O-Aussage eine Umwandlung durch Einschränkung möglich ist.

</p>

<div class="mw-heading mw-heading3"><h3 id="Beispiele_und_Reduktion_auf_die_erste_Figur">Beispiele und Reduktion auf die erste Figur</h3></div>

<div class="mw-heading mw-heading4"><h4 id="Zur_ersten_Figur_des_kategorischen_Syllogismus">Zur ersten Figur des kategorischen Syllogismus</h4></div>

<p>Die erste Figur hat folgende Form:

</p>

<td>

</td>

<td>Obersatz: M – P

</td></tr>

<tr>

<td>

</td>

<td>Untersatz: S – M

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Konklusion: S – P

</td></tr></tbody></table>

<p>Ihre gültigen Modi sind Barbara, Celarent, Darii, Ferio, Barbari und Celaront.

</p>

<div class="mw-heading mw-heading5"><h5 id="AAA_–_Modus_Barbara"><span id="AAA_.E2.80.93_Modus_Barbara"></span>AAA – Modus Barbara</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Alle Rechtecke sind Vierecke

</td></tr>

<tr>

<td>

</td>

<td>Alle Quadrate sind Rechtecke

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Alle Quadrate sind Vierecke

</td></tr></tbody></table>

<div class="mw-heading mw-heading5"><h5 id="EAE_–_Modus_Celarent"><span id="EAE_.E2.80.93_Modus_Celarent"></span>EAE – Modus Celarent</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Kein Rechteck ist ein Kreis

</td></tr>

<tr>

<td>

</td>

<td>Alle Quadrate sind Rechtecke

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Kein Quadrat ist ein Kreis

</td></tr></tbody></table>

<div class="mw-heading mw-heading5"><h5 id="AII_–_Modus_Darii"><span id="AII_.E2.80.93_Modus_Darii"></span>AII – Modus Darii</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Alle Quadrate sind Rechtecke

</td></tr>

<tr>

<td>

</td>

<td>Einige Rhomben sind Quadrate

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Rhomben sind Rechtecke

</td></tr></tbody></table>

<div class="mw-heading mw-heading5"><h5 id="EIO_–_Modus_Ferio"><span id="EIO_.E2.80.93_Modus_Ferio"></span>EIO – Modus Ferio</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Kein Säugetier atmet mit Kiemen

</td></tr>

<tr>

<td>

</td>

<td>Einige Wassertiere sind Säugetiere

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Wassertiere atmen nicht mit Kiemen

</td></tr></tbody></table>

<div class="mw-heading mw-heading5"><h5 id="AAI_–_Modus_Barbari"><span id="AAI_.E2.80.93_Modus_Barbari"></span>AAI – Modus Barbari</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Alle Rechtecke sind Vierecke

</td></tr>

<tr>

<td>

</td>

<td>Alle Quadrate sind Rechtecke

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Quadrate sind Vierecke

</td></tr></tbody></table>

<dl><dt>Anmerkung</dt>

<dd>Barbari ist insofern ein abgeleiteter Modus, als seine Konklusion eine schwächere Folgerung der Konklusion von Modus Barbara ist: Wenn alle Quadrate Rechtecke sind, dann sind insbesondere auch einige Quadrate Rechtecke. Traditionell wird ein durch Abschwächung der Konklusion aus einem anderen Modus abgeleiteter Modus auch als schwacher Modus bezeichnet.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="EAO_–_Modus_Celaront"><span id="EAO_.E2.80.93_Modus_Celaront"></span>EAO – Modus Celaront</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Kein Rechteck ist ein Kreis

</td></tr>

<tr>

<td>

</td>

<td>Alle Quadrate sind Rechtecke

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Quadrate sind keine Kreise

</td></tr></tbody></table>

<dl><dt>Anmerkung</dt>

<dd>Die Konklusion von Celaront ist eine Abschwächung der Konklusion von Celarent: Wenn keine Quadrate Kreise sind, dann sind insbesondere auch einige Quadrate keine Kreise. Celaront wird daher traditionell als schwacher Modus bezeichnet.</dd></dl>

<div class="mw-heading mw-heading4"><h4 id="Zur_zweiten_Figur_des_kategorischen_Syllogismus_und_ihrer_Reduktion_auf_die_erste_Figur">Zur zweiten Figur des kategorischen Syllogismus und ihrer Reduktion auf die erste Figur</h4></div>

<p>Die zweite Figur hat folgende Form:

</p>

<td>

</td>

<td>Obersatz: P – M

</td></tr>

<tr>

<td>

</td>

<td>Untersatz: S – M

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Konklusion: S – P

</td></tr></tbody></table>

<p>Die gültigen Modi der zweiten Figur sind Baroco, Cesare, Camestres, Festino, Camestrop und Cesaro.

</p>

<div class="mw-heading mw-heading5"><h5 id="AOO_–_Modus_Baroco"><span id="AOO_.E2.80.93_Modus_Baroco"></span>AOO – Modus Baroco</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Alle Professoren sind ernst

</td></tr>

<tr>

<td>

</td>

<td>Einige Dozenten sind nicht ernst

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Dozenten sind nicht Professoren

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Der Modus Baroco ist einer von nur zwei Modi, in deren Merkwort der Konsonant „c“ vorkommt, aber nicht am Wortanfang steht. Diese Konstellation zeigt an, dass zur Rückführung auf die erste Figur ein indirekter Beweis erforderlich ist. Für diesen indirekten Beweis wird ein Syllogismus konstruiert, dessen erste Prämisse die A-Prämisse des zu reduzierenden Syllogismus ist – im Beispiel also die Aussage „Alle Professoren sind ernst.“ Als zweite Prämisse des zu konstruierenden Syllogismus wird die kontradiktorische Verneinung der Konklusion des zu reduzierenden Syllogismus verwendet – im Beispiel also die Aussage „Alle Dozenten sind Professoren“ (dieses A-Urteil ist die Verneinung des O-Urteils „Einige Dozenten sind nicht Professoren“, vergleiche <a href="#Logisches_Quadrat">Logisches Quadrat</a>). Da das Merkwort „Baroco“ mit einem „B“ beginnt, werden die so aufgestellten Prämissen zu einem Syllogismus des Modus Barbara ergänzt, der dann vollständig lautet: „Alle Professoren sind ernst. Alle Dozenten sind Professoren. Also sind alle Dozenten ernst.“ Die Schlussfolgerung, dass alle Dozenten ernst sind, ist aber mit der O-Prämisse des zu reduzierenden Syllogismus unverträglich, die gerade lautete „Einige Dozenten sind nicht ernst“. Somit ist gezeigt, dass die Annahme, die Konklusion des zu reduzierenden Syllogismus treffe nicht zu, zu einem Widerspruch führt. Die Konklusion des zu reduzierenden Syllogismus muss daher zutreffen, der zu reduzierende Syllogismus also gültig sein.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="EAE_–_Modus_Cesare"><span id="EAE_.E2.80.93_Modus_Cesare"></span>EAE – Modus Cesare</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Kein Säugetier atmet durch Kiemen

</td></tr>

<tr>

<td>

</td>

<td>Alle Fische atmen durch Kiemen

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Kein Fisch ist ein Säugetier

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Das Merkwort „Cesare“ beginnt mit einem „C“, der Syllogismus muss sich daher auf einen Modus Celarent zurückführen lassen. Im Merkwort „Cesare“ steht unmittelbar nach dem „e“, das den Typ der ersten Prämisse angibt, der Buchstabe „s“, der die einfache Umwandlung der betroffenen Aussage einfordert. Wandelt man die erste Prämisse einfach um, entsteht die Aussage „Kein Kiemenatmer ist ein Säugetier“. Weitere bedeutungstragende Konsonanten kommen im Merkwort „Cesare“ nicht vor, deshalb ist die Umwandlung damit abgeschlossen. Tatsächlich ist der so entstandene Syllogismus „Kein Kiemenatmer (M) ist ein Säugetier (P). Alle Fische (S) atmen durch Kiemen (M). Also ist kein Fisch (S) ein Säugetier (P).“ ein Syllogismus vom Typ Celarent.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="AEE_–_Modus_Camestres"><span id="AEE_.E2.80.93_Modus_Camestres"></span>AEE – Modus Camestres</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Alle Fische atmen durch Kiemen

</td></tr>

<tr>

<td>

</td>

<td>Kein Säugetier atmet durch Kiemen

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Kein Säugetier ist ein Fisch

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Der Anfangsbuchstabe „C“ des Merkwortes „Camestres“ zeigt an, dass die Reduktion zu einem Modus Celarent führen muss. Das „s“ nach dem Vokal „e“ der zweiten Prämisse zeigt an, dass jene einer einfachen Umwandlung unterzogen werden muss; dabei entsteht die neue Aussage „Kein Kiemenatmer ist ein Säugetier“. Das „m“ zeigt – ungeachtet seiner konkreten Position – an, dass die Prämissen nach allen anderen allfälligen Umformungen ausgetauscht werden müssen: Es entsteht der Syllogismus „Kein Kiemenatmer ist ein Säugetier. Alle Fische atmen durch Kiemen. Also ist kein Säugetier ein Fisch.“ Am Wortende des Merkwortes Camestres steht ein weiteres „s“, das an dieser Stelle eine einfache Umwandlung der Konklusion des Zielmodus, also des Celarent erfordert – und tatsächlich ist der Syllogismus „Kein Kiemenatmer ist ein Säugetier. Alle Fische atmen durch Kiemen. Also ist kein Fisch ein Säugetier.“ ein Modus Celarent, in dessen Konklusion die Stellung von Subjekt und Prädikat vertauscht ist.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="EIO_–_Modus_Festino"><span id="EIO_.E2.80.93_Modus_Festino"></span>EIO – Modus Festino</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Kein Tier, das mit Kiemen atmet, ist ein Säugetier

</td></tr>

<tr>

<td>

</td>

<td>Einige Wassertiere sind Säugetiere

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Wassertiere atmen nicht mit Kiemen

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Der Anfangsbuchstabe „F“ zeigt an, dass der Syllogismus sich auf einen Modus Ferio zurückführen wird lassen. Der Buchstabe „s“ nach dem ersten Vokal im Merkwort „Festino“ weist darauf hin, dass die erste Prämisse einer einfachen Umwandlung unterzogen werden muss; dabei entsteht die neue Aussage „Kein Säugetier atmet mit Kiemen“. Das Merkwort enthält keine weiteren bedeutungstragenden Konsonanten, und tatsächlich ist der durch diese eine Umwandlung entstandene Syllogismus „Kein Säugetier atmet mit Kiemen. Einige Wassertiere sind Säugetiere. Es folgt: Einige Wassertiere atmen nicht mit Kiemen.“ vom erwarteten Typ Ferio; die Reduktion ist damit erfolgreich abgeschlossen.</dd></dl>

<div class="mw-heading mw-heading4"><h4 id="Zur_dritten_Figur_des_kategorischen_Syllogismus_und_ihrer_Reduktion_auf_die_erste_Figur">Zur dritten Figur des kategorischen Syllogismus und ihrer Reduktion auf die erste Figur</h4></div>

<p>Die dritte Figur hat folgende Form:

</p>

<td>

</td>

<td>Obersatz: M – P

</td></tr>

<tr>

<td>

</td>

<td>Untersatz: M – S

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Konklusion; S – P

</td></tr></tbody></table>

<p>Die gültigen Modi der dritten Figur sind Bocardo, Datisi, Disamis, Ferison, Darapti und Felapton.

</p>

<div class="mw-heading mw-heading5"><h5 id="OAO_–_Modus_Bocardo"><span id="OAO_.E2.80.93_Modus_Bocardo"></span>OAO – Modus Bocardo</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Einige Münchner sind nicht Politiker

</td></tr>

<tr>

<td>

</td>

<td>Alle Münchner sind Stadtbewohner

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Stadtbewohner sind nicht Politiker

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Das Merkwort „Bocardo“ enthält im Wortinneren den Konsonanten „c“, der die Notwendigkeit eines indirekten Beweises anzeigt. Für diesen wird ein neuer Syllogismus gebildet, dessen Prämissen die A-Prämisse des Bocardo – im Beispiel also die Aussage „Alle Münchner sind Stadtbewohner“ – und die Verneinung der Konklusion des Bocardo ist: Verneint man die O-Aussage „Einige Stadtbewohner sind nicht Politiker“, dann entsteht die A-Aussage „Alle Stadtbewohner sind Politiker“. Da das Merkwort „Bocardo“ mit einem „B“ beginnt, ordnet man diese beiden Prämissen so an und ergänzt sie so um eine Konklusion, dass ein Syllogismus der Form Barbara entsteht. Für das Beispiel lautet dieser Syllogismus „Alle Stadtbewohner sind Politiker. Alle Münchner sind Stadtbewohner. Also sind alle Münchner Politiker.“ Die Konklusion, „Alle Münchner sind Politiker“, widerspricht nun gerade der ersten Prämisse des zu reduzierenden Syllogismus, der Aussage „Einige Münchner sind nicht Politiker“; es ist daher gezeigt, dass die Annahme, die Konklusion des Bocardo – also die Aussage „Einige Stadtbewohner sind nicht Politiker“ – sei falsch, zu einem Widerspruch führt – sie muss daher richtig sein.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="AII_–_Modus_Datisi"><span id="AII_.E2.80.93_Modus_Datisi"></span>AII – Modus Datisi</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Alle Münchner sind Bayern

</td></tr>

<tr>

<td>

</td>

<td>Einige Münchner sind Studenten

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Studenten sind Bayern

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Das Merkwort „Datisi“ enthält als einzigen bedeutungstragenden Konsonanten den Buchstaben „s“ unmittelbar nach dem Vokalzeichen für die zweite Prämisse; diese muss daher einer einfachen Umwandlung unterzogen werden, d. h., ihr Subjekt und ihr Prädikat müssen ausgetauscht werden. Aus dieser Operation entsteht der Syllogismus „Alle Münchner sind Bayern. Einige Studenten sind Münchner. Also sind einige Studenten Bayern.“ Dieser Syllogismus ist von der Form Darii, die Reduktion damit abgeschlossen.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="IAI_–_Modus_Disamis"><span id="IAI_.E2.80.93_Modus_Disamis"></span>IAI – Modus Disamis</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Einige Früchte sind Äpfel

</td></tr>

<tr>

<td>

</td>

<td>Alle Früchte sind Teile von Pflanzen

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Teile von Pflanzen sind Äpfel

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Das Merkwort „Disamis“ zeigt an, dass für die Reduktion auf einen Modus Darii zwei einfache Umwandlungen (Buchstabe „s“ hinter dem die jeweilige Aussage bezeichnenden Vokal), d. h. eine Vertauschung von Subjekt und Prädikat, sowie eine Vertauschung der Prämissen (Buchstabe „m“ an beliebiger Stelle) erforderlich sein wird. Einfache Umwandlungen der Prämissen müssen immer vor einer allfälligen Vertauschung ausgeführt werden. „Disamis“ fordert die einfache Umwandlung der ersten Prämisse, dabei entsteht der Satz „Einige Äpfel sind Früchte“. Für die zweite Prämisse fordert das Merkwort „Disamis“ keine Aktion, sodass im nächsten Schritt schon die Vertauschung der Prämissen (Buchstabe „m“) ausgeführt werden kann. Der dabei entstehende Syllogismus lautet „Alle Früchte sind Teile von Pflanzen. Einige Äpfel sind Früchte. Also sind einige Teile von Pflanzen Äpfel.“ An letzter Stelle – unmittelbar nach dem Vokal, der die Konklusion bezeichnet – enthält das Merkwort „Disamis“ ein weiteres „s“. Die Umwandlung der Konklusion – egal ob einfach oder durch Einschränkung – ist ein Sonderfall, weil hier nicht die Konklusion des zu reduzierenden Syllogismus gemeint ist, sondern die Konklusion des Modus, <i>auf den</i> reduziert werden soll. Das „s“ ist also an dieser Stelle die Anweisung, in der Konklusion von Modus Darii Subjekt und Prädikat auszutauschen, was zu einem Syllogismus der Gestalt „Alle M sind P. Einige S sind M. Also sind einige P S.“ führt. Dieses ist die Gestalt des reduzierten Disamis-Syllogismus: „Alle Früchte (M) sind Teile von Pflanzen (P). Einige Äpfel (S) sind Früchte (M). Also sind einige Teile von Pflanzen (P) Äpfel (S).“ Damit ist die Reduktion abgeschlossen.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="EIO_–_Modus_Ferison"><span id="EIO_.E2.80.93_Modus_Ferison"></span>EIO – Modus Ferison</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Keine Münchner sind Passauer

</td></tr>

<tr>

<td>

</td>

<td>Einige Münchner sind Studenten

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Studenten sind nicht Passauer

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Das Merkwort „Ferison“ enthält nur einen bedeutungstragenden Konsonanten, das „s“ unmittelbar nach dem Vokal für die zweite Prämisse. Dies zeigt an, dass die zweite Prämisse einer einfachen Umwandlung unterzogen werden muss, d. h. einer Vertauschung ihres Subjekts und ihres Prädikats. Der so entstandene Syllogismus, „Keine Münchner sind Passauer. Einige Studenten sind Münchner. Also sind einige Studenten nicht Passauer.“, ist bereits ein Syllogismus der ersten Figur, und zwar – das Merkwort „Ferison“ beginnt mit einem „F“ – vom Typ Ferio.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="AAI_–_Modus_Darapti"><span id="AAI_.E2.80.93_Modus_Darapti"></span>AAI – Modus Darapti</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Alle Quadrate sind Rechtecke

</td></tr>

<tr>

<td>

</td>

<td>Alle Quadrate sind Vierecke

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Vierecke sind Rechtecke

</td></tr></tbody></table>

<dl><dt>Anmerkung</dt>

<dd>Der Modus Darapti setzt voraus, dass das Subjekt nicht leer ist, dass es im Beispiel also tatsächlich Quadrate gibt; vergleiche Abschnitt <a href="#Existenzielle_Voraussetzungen">Existenzielle Voraussetzungen</a>.</dd>

<dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Der Anfangsbuchstabe des Merkwortes „Darapti“ zeigt an, dass sich der Syllogismus auf den Modus Darii reduzieren lassen wird. An bedeutungstragenden Konsonanten enthält das Merkwort „Darapti“ nur das „p“, das eine Umwandlung durch Einschränkung bezeichnet. Das „p“ steht unmittelbar nach dem Vokal der zweiten Prämisse, also ist sie es, die durch Einschränkung umgewandelt werden muss. Bei der Umwandlung durch Einschränkung werden Subjekt und Prädikat des Satzes ausgetauscht und wird die Quantität der Aussage von allgemein auf partikulär geändert, entsteht also aus der Aussage „Alle Quadrate sind Vierecke“ die Aussage „Einige Vierecke sind Quadrate“. Da es keine weiteren bedeutungstragenden Konsonanten im Merkwort „Darapti“ gibt, ist die Reduktion an dieser Stelle abgeschlossen und ist der so entstandene Syllogismus „Alle Quadrate sind Rechtecke. Einige Vierecke sind Quadrate. Also sind einige Vierecke Rechtecke.“ ein Modus Darii.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="EAO_–_Modus_Felapton"><span id="EAO_.E2.80.93_Modus_Felapton"></span>EAO – Modus Felapton</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Keine Münchner sind Passauer

</td></tr>

<tr>

<td>

</td>

<td>Alle Münchner sind Stadtbewohner

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Stadtbewohner sind keine Passauer

</td></tr></tbody></table>

<dl><dt>Anmerkung</dt>

<dd>Der Modus Felapton setzt voraus, dass der Mittelbegriff nicht leer ist, dass es im Beispiel also tatsächlich Münchner gibt; vergleiche Abschnitt <a href="#Existenzielle_Voraussetzungen">Existenzielle Voraussetzungen</a>.</dd></dl>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Modus Felapton wird sich mit einer Umwandlung durch Einschränkung (Buchstabe „p“) auf einen Modus Ferio reduzieren lassen. Das „p“ steht im Merkwort „Felapton“ hinter dem Vokal, der die zweite Prämisse bezeichnet; daher ist sie es, die umgewandelt werden muss. Bei der Umwandlung durch Einschränkung werden Subjekt und Prädikat der betroffenen allgemeinen Aussage ausgetauscht und wird sie zu einer partikulären Aussage umgewandelt: Aus „Alle Münchner sind Stadtbewohner“ wird „Einige Stadtbewohner sind Münchner.“ Der so entstandene Syllogismus „Keine Münchner sind Passauer. Einige Stadtbewohner sind Münchner. Also sind einige Stadtbewohner keine Passauer.“ ist von der Gestalt des Modus Ferio – die Reduktion ist damit abgeschlossen.</dd></dl>

<div class="mw-heading mw-heading4"><h4 id="Zur_vierten_Figur_des_kategorischen_Syllogismus_und_ihrer_Reduktion_auf_die_erste_Figur">Zur vierten Figur des kategorischen Syllogismus und ihrer Reduktion auf die erste Figur</h4></div>

<p>Die vierte Figur hat folgende Form:

</p>

<td>

</td>

<td>Obersatz: P – M

</td></tr>

<tr>

<td>

</td>

<td>Untersatz: M – S

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Konklusion: S – P

</td></tr></tbody></table>

<p>Die gültigen Modi der vierten Figur sind Calemes, Dimatis, Fresison, Bamalip, Calemop und Fesapo.

</p>

<div class="mw-heading mw-heading5"><h5 id="AAI_–_Modus_Bamalip"><span id="AAI_.E2.80.93_Modus_Bamalip"></span>AAI – Modus Bamalip</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Alle Quadrate sind Rechtecke

</td></tr>

<tr>

<td>

</td>

<td>Alle Rechtecke sind Vierecke

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Vierecke sind Quadrate

</td></tr></tbody></table>

<dl><dt>Anmerkung</dt>

<dd>Der Modus Bamalip setzt voraus, dass das Subjekt nicht leer ist, dass es im Beispiel also tatsächlich Quadrate und Rechtecke gibt (wobei die Existenz letzterer in diesem Fall aus der Existenz ersterer bereits folgt); vergleiche Abschnitt <a href="#Existenzielle_Voraussetzungen">Existenzielle Voraussetzungen</a>.</dd></dl>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Für die Prämissen hat das Merkwort „Bamalip“ lediglich die eine Handlungsanweisung parat, ihre Reihenfolge zu vertauschen (Konsonant „m“ an beliebiger Stelle). Der zweite bedeutungstragende Konsonant im Wortinneren ist das „p“, das zu einer Umwandlung durch Einschränkung – d. h. eine Vertauschung von Subjekt und Prädikat einer Aussage sowie ihre Veränderung ihrer Quantität von allgemein (A, E) zu partikulär (I, O) – auffordert. Nun steht das „p“ aber am Wortende – dies ist der Sonderfall, bei dem nicht die Konklusion des zu reduzierenden Syllogismus umgewandelt werden muss, sondern die Konklusion des Syllogismus, <i>auf den</i> reduziert werden soll. Reduziert werden soll – das Merkwort „Bamalip“ beginnt mit „B“ – auf Barbara, und unterzieht man dessen Konklusion, „Alle S sind P“, einer Umwandlung durch Einschränkung, so lautet sie „Einige P sind S“. Dem solcherart aus Modus Barbara entstandenen Syllogismus „Alle M sind P. Alle S sind M. Also sind einige P S.“ entspricht nun aber genau der umgeformte Syllogismus Bamalip, „Alle Rechtecke (M) sind Vierecke (P). Alle Quadrate (S) sind Rechtecke (M). Also sind einige Vierecke (P) Quadrate (S).“ Bamalip ist damit auf die erste Figur zurückgeführt.</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="AEE_–_Modus_Calemes"><span id="AEE_.E2.80.93_Modus_Calemes"></span>AEE – Modus Calemes</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Alle Passauer sind Bayern

</td></tr>

<tr>

<td>

</td>

<td>Keine Bayern sind Sachsen

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Keine Sachsen sind Passauer

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Reduziert wird auf einen Modus Celarent, wie der Anfangsbuchstabe des Merkworts „Calemes“ anzeigt. Der letzte Vokal in „Calemes“ wird vom bedeutungstragenden Konsonanten „s“ gefolgt, der eine einfache Umwandlung der Konklusion in demjenigen Syllogismus anfordert, <i>auf den</i> reduziert werden soll. Wandelt man den Modus Celarent entsprechend um, d. h., vertauscht man in seiner Konklusion Subjekt und Prädikat, entsteht der Modus „Keine M sind P. Alle S sind M. Also sind keine P S.“ Auf diesen lässt sich Modus Calemes reduzieren, und zwar – der einzige weitere bedeutungstragende Konsonant im Merkwort „Calemes“ ist das „m“ – durch eine Vertauschung seiner Prämissen. Der so entstehende Syllogismus ist von der gewünschten Gestalt: „Keine Bayern (M) sind Sachsen (P). Alle Passauer (S) sind Bayern (M). Also sind keine Sachsen (P) Passauer (S).“</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="IAI_–_Modus_Dimatis"><span id="IAI_.E2.80.93_Modus_Dimatis"></span>IAI – Modus Dimatis</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Einige Rauten sind Rechtecke

</td></tr>

<tr>

<td>

</td>

<td>Alle Rechtecke sind Parallelogramme

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Parallelogramme sind Rauten

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Reduziert wird auf Darii, wie der Anfangsbuchstabe des Merkwortes „Dimatis“ anzeigt. Das „m“ fordert eine Vertauschung der Prämissen. Das „s“ am Wortende zeigt die Notwendigkeit einer einfachen Umwandlung – d. h. Vertauschung von Subjekt und Prädikat – der Konklusion des <i>Ziel</i>-Syllogismus, also des Darii an. Tatsächlich hat der entstandene Syllogismus die Gestalt eines Modus Darii mit derart umgewandelter Prämisse: „Alle Rechtecke (M) sind Parallelogramme (P). Einige Rauten (S) sind Rechtecke (M). Also sind Einige Parallelogramme (P) Rauten (S).“</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="EAO_–_Modus_Fesapo"><span id="EAO_.E2.80.93_Modus_Fesapo"></span>EAO – Modus Fesapo</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Keine Passauer sind Münchner

</td></tr>

<tr>

<td>

</td>

<td>Alle Münchner sind Stadtbewohner

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Stadtbewohner sind keine Passauer

</td></tr></tbody></table>

<dl><dt>Anmerkung</dt>

<dd>Der Modus Fesapo setzt voraus, dass der Mittelbegriff nicht leer ist, dass es im Beispiel also tatsächlich Münchner gibt; vergleiche Abschnitt <a href="#Existenzielle_Voraussetzungen">Existenzielle Voraussetzungen</a>.</dd></dl>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Um den Syllogismus auf einen Modus Ferio zurückzuführen (das Merkwort „Fesapo“ beginnt mit einem „F“) muss die erste Prämisse einer einfachen Umwandlung unterzogen werden (unmittelbar nach dem ersten Vokal im Merkwort „Fesapo“ steht ein „s“) und muss die zweite Prämisse einer Umwandlung durch Einschränkung unterzogen werden (unmittelbar nach dem zweiten Vokal im Merkwort „Fesapo“ steht ein „p“). Der solcherart entstehende Syllogismus ist tatsächlich vom Typ Ferio: „Keine Münchner (M) sind Passauer (P). Einige Stadtbewohner (S) sind Münchner (M). Also sind einige Stadtbewohner (S) keine Passauer (P).“</dd></dl>

<div class="mw-heading mw-heading5"><h5 id="EIO_–_Modus_Fresison"><span id="EIO_.E2.80.93_Modus_Fresison"></span>EIO – Modus Fresison</h5></div>

<dl><dt>Beispiel</dt></dl>

<td>

</td>

<td>Keine Passauer sind Münchner

</td></tr>

<tr>

<td>

</td>

<td>Einige Münchner sind Studenten

</td></tr>

<tr>

<td style="padding-right:1em; font-style:italic;">Es folgt:

</td>

<td style="border-top: thin solid;">Einige Studenten sind keine Passauer

</td></tr></tbody></table>

<dl><dt>Reduktion des Beispiels auf die erste Figur</dt>

<dd>Um einen Modus Fresison auf die erste Figur zu reduzieren, müssen beide Prämissen einer einfachen Umwandlung unterzogen werden, denn das Merkwort Fresison enthält sowohl unmittelbar nach dem ersten Vokal als auch unmittelbar nach dem zweiten Vokal den Konsonanten „s“. Weitere bedeutungstragende Konsonanten sind nicht enthalten, sodass der durch diese beiden Umwandlungen entstehende Syllogismus bereits die Form eines Modus Ferio (das Merkwort „Fresison“ beginnt mit einem „F“) der ersten Figur hat: „Keine Münchner (M) sind Passauer (P). Einige Studenten (S) sind Münchner (M). Also sind einige Studenten (S) keine Passauer (P).“</dd></dl>

<div class="mw-heading mw-heading2"><h2 id="Wesentlich_verschiedene_Syllogismen">Wesentlich verschiedene Syllogismen</h2></div>

<p>Die Äquivalenzen „XeY genau dann, falls YeX“ und ebenso „XiY genau dann, wenn YiX“ erlauben es, Syllogismen in mehreren Paaren miteinander zu identifizieren, im EIO-Fall sogar vier, durch alle vier Figuren. Dann bleibt eine verkürzte Liste von nur acht Syllogismen übrig, falls noch Abschwächungen gestrichen werden: Barbara, Darii, Felapton, Ferio, Camestres, Celarent, Bocardo und Baroco.

</p>

<div class="mw-heading mw-heading2"><h2 id="Siehe_auch">Siehe auch</h2></div>

<ul><li><a href="Begriffslogik" title="Begriffslogik">Begriffslogik</a></li>

<li>Syllogismen in der traditionellen <a href="Rhetorik" title="Rhetorik">Rhetorik</a>:

<ul><li><a href="Enthymem" title="Enthymem">Enthymem</a> – teilweise als Syllogismus verstandener Schluss, oft in verkürzter Darstellung</li>

<li><a href="Epicherem" title="Epicherem">Epicherem</a> – Syllogismus, in dem jede Prämisse ihrerseits ein verkürzter Syllogismus ist</li></ul></li>

<li><a href="Subsumtion_(Recht)" title="Subsumtion (Recht)">Subsumtion</a> – Syllogismus in <a href="Gutachtenstil" title="Gutachtenstil">juristischen Arbeiten</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li><a href="Walther_Br%C3%BCning" title="Walther Brüning">Walther Brüning</a>: <i>Grundlagen der strengen Logik</i>. Würzburg 1996, ISBN 3-8260-1204-6.</li>

<li>Aristoteles: <i>Erste Analytiken I</i>. Aristoteles: Analytica Priora. Buch I. Übersetzt und erläutert von Theodor Ebert und Ulrich Nortmann. Berlin: Akademie Verlag, 2007, ISBN 978-3-05-004427-9 (mit umfangreichem Kommentar)</li>

<li>Aristoteles: <i>Analytica Posteriora</i>. Übersetzung und Kommentar von <a href="Wolfgang_Detel" title="Wolfgang Detel">Wolfgang Detel</a>. Berlin, Akademie-Verlag 1998. ISBN 3-05-001796-1. (mit umfangreichem Kommentar)</li>

<li>Aristoteles: <i>Organon</i>. Griechisch-Deutsch. Übersetzung und Kommentar von H.G. Zekl. 4 Teile in 3 Bänden, Meiner 2001, ISBN 3-7873-1596-9. (die Übersetzung ist bei ihrem ersten Erscheinen äußerst scharf als unbrauchbar kritisiert worden; vgl. die Rezension von <a href="Hermann_Weidemann_(Philosoph)" title="Hermann Weidemann (Philosoph)">Hermann Weidemann</a> in: <i>Zeitschrift für philosophische Forschung</i> 53, 1999, S. 602–610)</li>

<li>Aristoteles: <i>Topik</i>. Ditzingen: Reclam 2004. (=Reclams Universal-Bibliothek 18337) ISBN 3-15-018337-5, ISBN 978-3-15-018337-3.</li>

<li><a href="Helmut_G%C3%A4tje" title="Helmut Gätje">Helmut Gätje</a>: <i>Bemerkungen zum System der Syllogismen</i>. <a href="Universit%C3%A4t_des_Saarlandes" title="Universität des Saarlandes">Universität des Saarlandes</a>, Fach Orientalistik, Saarbrücken 1978.</li>

<li><a href="Bruno_von_Freytag-L%C3%B6ringhoff" title="Bruno von Freytag-Löringhoff">Bruno von Freytag-Löringhoff</a>: <i>Über das System der modi des Syllogismus</i>. In: <i>Zeitschrift für philosophische Forschung</i>. Bd. 4, Nr. 2/1949, S. 235–256.</li>

<li><a href="G%C3%BCnther_Patzig" title="Günther Patzig">Günther Patzig</a>: <i>Die aristotelische Syllogistik. Logisch-philologische Untersuchung über das Buch A der „Ersten Analytik“</i>. 3. Aufl., Göttingen, 1969.</li>

<li><a href="Michael_Wolff_(Philosoph)" title="Michael Wolff (Philosoph)">Michael Wolff</a>: <i>Abhandlung über die Prinzipien der Logik. Mit einer Rekonstruktion der aristotelischen Syllogistik</i>. Zweite, verbesserte und erweiterte Auflage, Frankfurt am Main: Klostermann 2009. ISBN 978-3-465-03639-5.</li>

<li>in englischer Sprache:

<ul><li>Otto Bird: <i>Syllogistic and Its Extensions</i>, Englewood Cliffs: Prentice-Hall 1964. (einfache Darstellung)</li>

<li><a href="William_Kneale" title="William Kneale">William Kneale</a>, <a href="Martha_Kneale" title="Martha Kneale">Martha Kneale</a>: <i>The Development of Logic</i>, Clarendon Press 1962. ISBN 0-19-824773-7. (Standardwerk zur Geschichte der Logik)</li>

<li><a href="Jan_%C5%81ukasiewicz" title="Jan Łukasiewicz">Jan Łukasiewicz</a>: <i>Aristotle's Syllogistic from the Standpoint of Modern Formal Logic</i>, Oxford: Clarendon Press <sup>2</sup>1957, danach Taylor & Francis 1987, ISBN 0-8240-6924-2. und Oxford University Press 1998 (=Oxford University Press Academic Monograph Reprints), ISBN 0-19-824144-5. (Standardwerk der modernen Syllogismusforschung)</li>

<li>Paul Thom: <i>The Syllogism</i>, München: Philosophia 1981, ISBN 3-88405-002-8.</li></ul></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<div class="sisterproject" style="margin:0.1em 0 0 0;"><div class="noresize noviewer" style="display:inline-block; line-height:10px; min-width:1.6em; text-align:center;" aria-hidden="true" role="presentation"><span class="mw-default-size" typeof="mw:File"><span title="Commons"></span></span></div><b><span class=""><a class="external text" href="https://commons.wikimedia.org/wiki/Category:Syllogisms?uselang=de"><span lang="en">Commons</span>: Syllogismen</a></span></b> – Sammlung von Bildern, Videos und Audiodateien</div>

<div class="sisterproject" style="margin:0.1em 0 0 0;"><span class="noviewer" style="display:inline-block; line-height:10px; min-width:1.6em; text-align:center;" aria-hidden="true" role="presentation"><span class="mw-default-size" typeof="mw:File"><span title="Wiktionary"></span></span></span><b><a href="https://de.wiktionary.org/wiki/Syllogismus" class="extiw external" title="wikt:Syllogismus">Wiktionary: Syllogismus</a></b> – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen</div>

<ul><li>Robin Smith: <a rel="nofollow" class="external text" href="http://plato.stanford.edu/entries/aristotle-logic/"><i>Aristotle's Logic.</i></a> In: Edward N. Zalta (Hrsg.): <i><a href="Stanford_Encyclopedia_of_Philosophy" title="Stanford Encyclopedia of Philosophy">Stanford Encyclopedia of Philosophy</a></i>.</li>

<li>Henrik Lagerlund: <a rel="nofollow" class="external text" href="http://plato.stanford.edu/entries/medieval-syllogism/"><i>Medieval Theories of the Syllogism.</i></a> In: Edward N. Zalta (Hrsg.): <i><a href="Stanford_Encyclopedia_of_Philosophy" title="Stanford Encyclopedia of Philosophy">Stanford Encyclopedia of Philosophy</a></i>.</li>

<li>Terence Parsons: <a rel="nofollow" class="external text" href="http://plato.stanford.edu/entries/square/"><i>The Traditional Square of Opposition.</i></a> In: Edward N. Zalta (Hrsg.): <i><a href="Stanford_Encyclopedia_of_Philosophy" title="Stanford Encyclopedia of Philosophy">Stanford Encyclopedia of Philosophy</a></i>.</li>

<li>Niko Strobach: <a rel="nofollow" class="external text" href="http://www.philo.uni-saarland.de/people/analytic/strobach/neueseite/pdfs/homburg.pdf">Neuere Interpretationen der aristotelischen Syllogistik</a> (PDF; 112 kB)</li>

<li>Edward D. Buckner. (Hg.): <a rel="nofollow" class="external text" href="http://www.logicmuseum.com/opposition/opposition.htm">Square of Opposition</a> (Textsammlung, engl.)</li>

<li><a rel="nofollow" class="external text" href="http://www.begriffslogik.de/online/aristo/index.html">syllogistisches Online-Programm</a></li>

/* start https://de.wikipedia.org/ */

.mw-parser-output .webarchiv-memento a{color:inherit}

/* end https://de.wikipedia.org/ */

</style><a rel="nofollow" class="external text" href="https://web.archive.org/web/20090717150556/http://webapp5.rrz.uni-hamburg.de/syllogism/aristotelianlogic">Computational Aristotelian Term Logic</a> (<span class="webarchiv-memento"><a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a></span> vom 17. Juli 2009 im <i><a href="Internet_Archive" title="Internet Archive">Internet Archive</a></i>) – ausführliches Syllogistisches Online-Programm in englischer Sprache</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Übersetzung Wagner/Rapp</span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text"><cite style="font-style:italic">Syllogismus</cite>. In: <cite style="font-style:italic"><a href="Meyers_Konversations-Lexikon" title="Meyers Konversations-Lexikon">Meyers Großes Konversations-Lexikon</a></cite>. 6. Auflage. <span style="white-space:nowrap">Band<span style="display:inline-block;width:.2em"> </span>19</span>: <i>Sternberg–Vector</i>. Bibliographisches Institut, Leipzig / Wien 1909, <span style="white-space:nowrap">S.<span style="display:inline-block;width:.2em"> </span>234</span> (<a rel="nofollow" class="external text" href="http://www.zeno.org/nid/20007552173">Digitalisat.</a> <a href="Zeno.org" title="Zeno.org">zeno.org</a>).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:Syllogismus&rft.atitle=Syllogismus&rft.btitle=Meyers+Gro%C3%9Fes+Konversations-Lexikon&rft.date=1909&rft.edition=6.&rft.genre=book&rft.pages=234&rft.place=Leipzig+%2F+Wien&rft.pub=Bibliographisches+Institut&rft.volume=Band+19%3A+Sternberg-Vector" style="display:none"> </span></span>

</li>

<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text"><cite style="font-style:italic">Schluß</cite>. [1]. In: <cite style="font-style:italic"><a href="Meyers_Konversations-Lexikon" title="Meyers Konversations-Lexikon">Meyers Großes Konversations-Lexikon</a></cite>. 6. Auflage. <span style="white-space:nowrap">Band<span style="display:inline-block;width:.2em"> </span>17</span>: <i>Rio–Schönebeck</i>. Bibliographisches Institut, Leipzig / Wien 1909, <span style="white-space:nowrap">S.<span style="display:inline-block;width:.2em"> </span>877</span> (<a rel="nofollow" class="external text" href="http://www.zeno.org/nid/20007429010">Digitalisat.</a> <a href="Zeno.org" title="Zeno.org">zeno.org</a>).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:Syllogismus&rft.atitle=Schlu%C3%9F&rft.btitle=Meyers+Gro%C3%9Fes+Konversations-Lexikon&rft.date=1909&rft.edition=6.&rft.genre=book&rft.pages=877&rft.place=Leipzig+%2F+Wien&rft.pub=Bibliographisches+Institut&rft.volume=Band+17%3A+Rio-Sch%C3%B6nebeck" style="display:none"> </span></span>

</li>

<li id="cite_note-neb23-263-4"><span class="mw-cite-backlink">↑ <sup><a href="#cite_ref-neb23-263_4-0">a</a></sup> <sup><a href="#cite_ref-neb23-263_4-1">b</a></sup></span> <span class="reference-text">„Logic“, in: <i>The New Encyclopaedia Britannica</i>, Chicago u. a. 15. Aufl. 2003, Band 23, Seite 263</span>

</li>

<li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a></span> <span class="reference-text">Albert Veraart: Galenische Figur, in: Jürgen Mittelstraß: <i>Enzyklopädie Philosophie und Wissenschaftstheorie.</i> Metzler Stuttgart 1996, ISBN 3-476-02012-6, 1. Band, Seite 699</span>

</li>

<li id="cite_note-6"><span class="mw-cite-backlink"><a href="#cite_ref-6">↑</a></span> <span class="reference-text">„Logic“, in: <i>The New Encyclopaedia Britannica</i>, Chicago u. a. 15. Aufl. 2003, Band 23, Seite 265</span>

</li>

<li id="cite_note-7"><span class="mw-cite-backlink"><a href="#cite_ref-7">↑</a></span> <span class="reference-text">N. I. Kondakow: <i>Wörterbuch der Logik.</i> VEB Bibliographisches Institut Leipzig 1. Aufl. 1978, Seite 410</span>

</li>

<li id="cite_note-8"><span class="mw-cite-backlink"><a href="#cite_ref-8">↑</a></span> <span class="reference-text"><a href="Jan_%C5%81ukasiewicz" title="Jan Łukasiewicz">Jan Łukasiewicz</a>: <i>Aristotle's Syllogistic from the Standpoint of Modern Formal Logic</i>, Oxford: Clarendon Press <sup>2</sup>1957.</span>

</li>

<li id="cite_note-9"><span class="mw-cite-backlink"><a href="#cite_ref-9">↑</a></span> <span class="reference-text">„The result [of Łukasiewicz's] is something of great interest, but very different from Aristotle's own conception of his work“ (<a href="William_Kneale" title="William Kneale">Kneale</a>/Kneale: <i>The Development of Logic,</i> Seite 80)</span>

</li>

<li id="cite_note-10"><span class="mw-cite-backlink"><a href="#cite_ref-10">↑</a></span> <span class="reference-text">Günther Patzig: <i>Die aristotelische Syllogistik. Logisch-philologische Untersuchung über das Buch A der „Ersten Analytik“</i>. 3. Aufl., Göttingen, 1969.</span>

</li>

<li id="cite_note-11"><span class="mw-cite-backlink"><a href="#cite_ref-11">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://www.philo.uni-saarland.de/people/analytic/strobach/neueseite/pdfs/homburg.pdf">Niko Strobach: Neuere Interpretationen der aristotelischen Syllogistik</a> (PDF; 112 kB), Seite 13, insbesondere das dort gebrachte <a href="Arthur_Norman_Prior" title="Arthur Norman Prior">Prior</a>-Zitat „The Prior Analytics ... is not a book of syllogisms, but a book about syllogisms, and the statement ‚If B is predicable of every M, and M of every A, then B is predicable of every A‘ is a perfectly natural way of talking about syllogisms of the form ‚Every B is M, and every M is A, therefore etc.‘, and saying that all such syllogisms are valid.“</span>

</li>

<li id="cite_note-12"><span class="mw-cite-backlink"><a href="#cite_ref-12">↑</a></span> <span class="reference-text">Gereon Wolters: Syllogistik, in: Jürgen Mittelstraß: <i>Enzyklopädie Philosophie und Wissenschaftstheorie.</i> Metzler Stuttgart 1996, ISBN 3-476-02012-6, 4. Band, Seite 156–158, Seite 157, Spalte 2</span>

</li>

<li id="cite_note-13"><span class="mw-cite-backlink"><a href="#cite_ref-13">↑</a></span> <span class="reference-text">Als Beispiel für diese Sicht sei die Duden-Grammatik von 1966 genannt (Duden Band 4, 2. Auflage 1966, § 6020 c, Seite 540), die das Wort „sterblich“ in diesem Zusammenhang als eine Form von Umstandsergänzung betrachtet, genauer als Artergänzung (§ 5280, Seite 481): „Um eine Artergänzung handelt es sich aber auch dort, wo die Artangabe den ‚kopulativen‘ Verben folgt, weil wir ihr auch in diesen Fällen den Wert eines selbständigen Satzgliedes zusprechen[.]“ (§ 5285, Seite 481) bzw. „Neuere Auffassungen sprechen auch [den Kopulaverben] den gleichen Rang [eines Prädikats] zu“ (§ 5125, Seite 473)</span>

</li>

<li id="cite_note-14"><span class="mw-cite-backlink"><a href="#cite_ref-14">↑</a></span> <span class="reference-text">Ein Beispiel für diese Sicht ist die aktuelle Duden-Grammatik: „Prädikativverben verbinden sich mit einem Subjekts- oder Objektsprädikativ zu einem mehrteiligen Prädikat. Hierzu gehören die so genannten Kopulaverben [wie] <i>sein</i>“ (Duden Band 4, 7. Auflage 2005, § 577, Seite 421)</span>

</li>

<li id="cite_note-15"><span class="mw-cite-backlink"><a href="#cite_ref-15">↑</a></span> <span class="reference-text">„Since the seventeenth century most writers have adopted the suggestion of John Philoponus that the major term be <i>defined</i> as the predicate of the conclusion“ (Kneale/Kneale: <i>The Development of Logic,</i> Seite 71)</span>

</li>

<li id="cite_note-16"><span class="mw-cite-backlink"><a href="#cite_ref-16">↑</a></span> <span class="reference-text">„[I]t would probably be a mistake to lay much emphasis on the distinction. For in the detailed application of his theory Aristotle reasons as though his conditional statements were in effect rules of inference rather than theses.“ (Kneale/Kneale: <i>The Development of Logic,</i> Seite 80)</span>

</li>

<li id="cite_note-17"><span class="mw-cite-backlink"><a href="#cite_ref-17">↑</a></span> <span class="reference-text">Christian Thiel: <i>Logisches Quadrat</i>, in: Jürgen Mittelstraß (Hrsg.): <i>Enzyklopädie Philosophie und Wissenschaftstheorie.</i> 1. Aufl. 1995, 2004, Band 3, Seite 423</span>

</li>

<li id="cite_note-18"><span class="mw-cite-backlink"><a href="#cite_ref-18">↑</a></span> <span class="reference-text">siehe z. B. <a rel="nofollow" class="external text" href="http://www.philo.uni-saarland.de/people/analytic/strobach/neueseite/pdfs/homburg.pdf">Niko Strobach: Neuere Interpretationen der aristotelischen Syllogistik</a> (PDF; 112 kB), Seite 5f.</span>

</li>

<li id="cite_note-19"><span class="mw-cite-backlink"><a href="#cite_ref-19">↑</a></span> <span class="reference-text">„In order to justify Aristotle's doctrine as a whole it is necessary, then, that he assumed application for <i>all</i> the general terms with which he dealt.“ (Kneale/Kneale: <i>The Development of Logic,</i> Seite 60, Hervorhebung im Original)</span>

</li>

<li id="cite_note-20"><span class="mw-cite-backlink"><a href="#cite_ref-20">↑</a></span> <span class="reference-text">Peter Bernhard: <cite style="font-style:italic">Zum Vergleich von Syllogistiksystemen</cite>. In: Jens Kulenkampff, Thomas Spitzley (Hrsg.): <cite style="font-style:italic">Von der Antike bis zur Gegenwart. Erlanger Streifzüge durch die Geschichte der Philosophie</cite>. 1. Auflage. Palm & Enke, Erlangen 2001, ISBN 3-7896-0659-6, <span style="white-space:nowrap">S.<span style="display:inline-block;width:.2em"> </span>147–164</span>.<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:Syllogismus&rft.atitle=Zum+Vergleich+von+Syllogistiksystemen&rft.au=Peter+Bernhard&rft.btitle=Von+der+Antike+bis+zur+Gegenwart.+Erlanger+Streifz%C3%BCge+durch+die+Geschichte+der+Philosophie&rft.date=2001&rft.edition=1.&rft.genre=book&rft.isbn=3789606596&rft.pages=147-164&rft.place=Erlangen&rft.pub=Palm+%26+Enke" style="display:none"> </span></span>

</li>

<li id="cite_note-21"><span class="mw-cite-backlink"><a href="#cite_ref-21">↑</a></span> <span class="reference-text">Diese Variante der Definition entlehnt sich aus „Distribution“, in: <i>Encyclopaedia Britannica</i>, Band 4, 15. Aufl. 2003, Seite 129</span>

</li>

<li id="cite_note-22"><span class="mw-cite-backlink"><a href="#cite_ref-22">↑</a></span> <span class="reference-text">siehe Bird 1964, Seite 20–22</span>

</li>

<li id="cite_note-23"><span class="mw-cite-backlink"><a href="#cite_ref-23">↑</a></span> <span class="reference-text">„A simple set of rules of validity was finally produced in the later Middle Ages, based on the concept of Distribution.“ (<a href="Charles_Leonard_Hamblin" title="Charles Leonard Hamblin">C. L. Hamblin</a>: <i>Fallacies.</i> Methuen London 1970, ISBN 0-416-70070-5, Seite 195)</span>

</li>

<li id="cite_note-24"><span class="mw-cite-backlink"><a href="#cite_ref-24">↑</a></span> <span class="reference-text">siehe C. L. Hamblin: <i>Fallacies.</i> Methuen London 1970. ISBN 0-416-70070-5, Seite 117, wo allerdings in Fußnote 1 darauf hingewiesen wird, dass es Vorläufer gebe.</span>

</li>

<li id="cite_note-25"><span class="mw-cite-backlink"><a href="#cite_ref-25">↑</a></span> <span class="reference-text">Kneale/Kneale: <i>The Development of Logic,</i> Seite 231–234</span>

</li>

<li id="cite_note-26"><span class="mw-cite-backlink"><a href="#cite_ref-26">↑</a></span> <span class="reference-text">Die Darstellung des indirekten Beweises im Syllogismus folgt sehr eng „Logic“, in: <i>The New Encyclopaedia Britannica</i>, Chicago u. a. 15. Aufl. 2003, Band 23, Seite 262f.</span>

</li>

<li id="cite_note-27"><span class="mw-cite-backlink"><a href="#cite_ref-27">↑</a></span> <span class="reference-text">z. B. auch im Standardlehrbuch Otto Bird: <i>Syllogistic and Its Extensions</i>, Englewood Cliffs: Prentice-Hall 1964, Seite 27ff.</span>

</li>

</ol>

<div>

Normdaten (Sachbegriff): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/4184185-2">4184185-2</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/sh85131387">sh85131387</a></span> </div>

</div></div></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-11-28" href="https://de.wikipedia.org/wiki/?title=Syllogismus&oldid=261960897">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>